diff options
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 39 |
1 files changed, 19 insertions, 20 deletions
diff --git a/doc/style.css b/doc/style.css index 06e8aed..9df3849 100644 --- a/doc/style.css +++ b/doc/style.css @@ -1,4 +1,5 @@ html, body { + font-family: sans-serif; font-size: 100%; background-color: #fff; color: #000; @@ -20,37 +21,32 @@ a:hover { img { border: 0; } -h1, h2, h3, h4, h5 { - font-weight: 400; +h1, h2, h3, h4, h5, h6 { line-height: 1em; } h1 { - color: #234764; - font-size: 160%; - margin: .7em 0 0; - text-decoration: none; -} -h1 a { - color: #234764; + font-size: 180%; + font-weight: 900; } h2 { - color: #366d9c; font-size: 140%; - font-weight: 700; - margin: 3ex 0 1ex; + font-weight: 650; } h3 { - color: #366d9c; font-size: 130%; - margin: 0 0 .75ex; - padding: 0; + font-weight: 600; } h4 { - color: #366d9c; font-size: 120%; - font-style: italic; - margin: 2ex 0 0; - padding: 0; + font-weight: 550; +} +h5 { + font-size: 110%; + font-weight: 500; +} +h6 { + font-size: 100%; + font-weight: 450; } #logoheader { background-color: #F3F3F3; @@ -69,7 +65,7 @@ h4 { padding: 1ex; } #title { - color: #366d9c; + /*color: #366d9c;*/ font-size: 200%; font-weight: 700; margin: .25ex 0 .5ex; @@ -417,6 +413,7 @@ ul, ol { .specterm h3 { background-color: #F3F3F3; padding: 0.5ex; + margin: 0; } .spectermbody { padding: 0 1ex 1ex 1ex; @@ -466,6 +463,8 @@ pre { } code { color: #373; + font-family: fixed,monospace; + font-weight: 500; } #menu li, #searchbox form, ul#iconbar li, #body-main .success p a { display: inline; |