159 lines
2.5 KiB
CSS
159 lines
2.5 KiB
CSS
|
|
hr { color: #ddd; margin-top: 3ex; }
|
|
h1, h2, h3, h4 { font-weight: bold; }
|
|
h1 { font-size: 200%; margin-top: 5ex; }
|
|
h2 { font-size: 160%; margin-top: 4ex; }
|
|
h3,h4 { font-size: 120%; margin-top: 3ex; }
|
|
|
|
/* From Semantic UI */
|
|
body {
|
|
font-family: Lato,'Helvetica Neue',Arial,Helvetica,sans-serif;
|
|
font-size: 14px;
|
|
line-height: 1.4285em;
|
|
color: rgba(0,0,0,.87);
|
|
}
|
|
|
|
code.literal {
|
|
background-color: #f7f7f7;
|
|
}
|
|
|
|
a {
|
|
background-color:transparent;
|
|
-webkit-text-decoration-skip:objects
|
|
}
|
|
a {
|
|
color:#4183c4;
|
|
text-decoration:none
|
|
}
|
|
a:hover {
|
|
color:#1e70bf;
|
|
text-decoration:none
|
|
}
|
|
::-webkit-selection {
|
|
background-color:#cce2ff;
|
|
color:rgba(0,0,0,.87)
|
|
}
|
|
::-moz-selection {
|
|
background-color:#cce2ff;
|
|
color:rgba(0,0,0,.87)
|
|
}
|
|
::selection {
|
|
background-color:#cce2ff;
|
|
color:rgba(0,0,0,.87)
|
|
}
|
|
|
|
/* toc menu */
|
|
@media screen and (min-width: 60em) {
|
|
body {
|
|
margin-left: 16.5em;
|
|
}
|
|
div.toc {
|
|
position: fixed;
|
|
top: 0pt;
|
|
left: 1em;
|
|
height: 100%;
|
|
overflow-y: auto;
|
|
width: 15.5em;
|
|
}
|
|
}
|
|
@media screen and (min-width: 90em) {
|
|
div.toc {
|
|
left: 5em;
|
|
}
|
|
}
|
|
/* hide per chapter toc */
|
|
div.chapter div.toc {
|
|
display: none;
|
|
}
|
|
|
|
|
|
/* From Nixpkgs: */
|
|
|
|
div.book
|
|
{
|
|
text-align: center;
|
|
}
|
|
|
|
div.book > div
|
|
{
|
|
/*
|
|
* based on https://medium.com/@zkareemz/golden-ratio-62b3b6d4282a
|
|
* we do 70 characters per line to fit code listings better
|
|
* 70 * (font-size / 1.618)
|
|
* expression for emacs:
|
|
* (* 70 (/ 1 1.618))
|
|
*/
|
|
max-width: 43.2em;
|
|
text-align: left;
|
|
margin: auto;
|
|
}
|
|
|
|
|
|
/***************************************************************************
|
|
Special elements:
|
|
***************************************************************************/
|
|
|
|
.term
|
|
{
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
div.variablelist dd p, div.glosslist dd p
|
|
{
|
|
margin-top: 0em;
|
|
}
|
|
|
|
div.variablelist dd, div.glosslist dd
|
|
{
|
|
margin-left: 1.5em;
|
|
}
|
|
|
|
div.glosslist dt
|
|
{
|
|
font-style: italic;
|
|
}
|
|
|
|
.varname
|
|
{
|
|
color: #004000;
|
|
}
|
|
|
|
span.command strong
|
|
{
|
|
font-weight: normal;
|
|
color: #004000;
|
|
}
|
|
|
|
div.calloutlist table
|
|
{
|
|
box-shadow: none;
|
|
}
|
|
|
|
table
|
|
{
|
|
border-collapse: collapse;
|
|
box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
|
|
}
|
|
|
|
table.simplelist
|
|
{
|
|
text-align: left;
|
|
color: #005aa0;
|
|
border: 0;
|
|
padding: 5px;
|
|
background: #fffff5;
|
|
font-weight: normal;
|
|
font-style: italic;
|
|
box-shadow: none;
|
|
margin-bottom: 1em;
|
|
}
|
|
|
|
div.navheader table, div.navfooter table {
|
|
box-shadow: none;
|
|
}
|
|
|
|
div.affiliation
|
|
{
|
|
font-style: italic;
|
|
}
|