diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 57 |
1 files changed, 35 insertions, 22 deletions
diff --git a/doc/style.css b/doc/style.css index afb41f7..c8b89de 100644 --- a/doc/style.css +++ b/doc/style.css @@ -72,6 +72,9 @@ html, body { color: #000; margin: 0; padding: 0; + max-width: 60em; + margin-left: auto; + margin-right: auto; } a:link, a:visited { text-decoration: none; @@ -101,20 +104,20 @@ h2 { font-weight: 700; } h3 { - font-size: 130%; + font-size: 120%; font-weight: 700; } h4 { - font-size: 120%; + font-size: 110%; font-weight: 700; } h5 { - font-size: 110%; + font-size: 100%; font-weight: 700; } h6 { font-size: 100%; - font-weight: 700; + font-weight: 600; } #titlebox, #meta { display: inline-block; @@ -137,8 +140,8 @@ h6 { #meta tr, #meta th, #meta td { border: 0; font-weight: normal; - padding: 0.125em 0.25em 0.125em 0.25em; - background-color: transparent; + padding: 0.125em 0.25em 0.125em 0.25em; + background-color: transparent; } #meta th { text-align: right; @@ -146,12 +149,6 @@ h6 { #meta th:after { content: ": "; } -#title { - font-size: 200%; - font-weight: 700; - margin: 0; - padding: 0; -} #subtitle { font-size: small; } @@ -455,7 +452,7 @@ a:active { } .sec { color: #000; - margin: 0.5em 1em 0.5em 1em; + margin: 0.5em 0 0.5em 0; padding: 1ex 0 0.5ex 0; } ul, ol { @@ -470,19 +467,32 @@ ul, ol { font-size: small; } #topbar { - background-color: #222; - background: linear-gradient(to bottom, #444 0%, #000 100%); - border-bottom: solid 2px #444; - border-radius: 0 0 6px 6px; - color: #EEE; - margin: 0; - margin-left: auto; - margin-right: auto; - padding: 0.25em 0.5em 0em 0.5em; + background-color: #222; + background: linear-gradient(to bottom, #444 0%, #000 100%); + border-bottom: solid 2px #333; + border-left: solid 2px #333; + border-right: solid 2px #333; + border-radius: 0 0 6px 6px; + color: #EEE; + margin: 0; + margin-left: auto; + margin-right: auto; + padding: 0.25em 0.5em 0em 0.5em; + max-width: 60em; + position: relative; } #topbar a, #topbar a:visited { color: #70957E; } +#title { + font-size: 200%; + font-weight: 700; + margin: 0; + padding: 0; +} +#title a, #title a:visited { + color: #FFF; +} #contents li { display: inline; list-style-type: none; @@ -491,6 +501,9 @@ ul, ol { } .content { margin: 0 2em 0 2em; + max-width: 60em; + margin-left: auto; + margin-right: auto; } .label { font-style: italic; |