ninja/doc/style.css
Evan Martin 50a1cc39b7 use the default font size for manual headings
The third-level subsection headings were almost indistinguishable
from the second-level ones.  Fix this by just using the default
styling.
2015-12-16 08:48:59 -08:00

30 lines
423 B
CSS

body {
margin: 5ex 10ex;
max-width: 80ex;
line-height: 1.5;
font-family: sans-serif;
}
h1, h2, h3 {
font-weight: normal;
}
pre, code {
font-family: x, monospace;
}
pre {
padding: 1ex;
background: #eee;
border: solid 1px #ddd;
min-width: 0;
font-size: 90%;
}
code {
color: #007;
}
div.chapter {
margin-top: 4em;
border-top: solid 2px black;
}
p {
margin-top: 0;
}