diff options
| -rw-r--r-- | doc/style.css | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/style.css b/doc/style.css index 2cf74678..f4d9f28d 100644 --- a/doc/style.css +++ b/doc/style.css @@ -8,8 +8,8 @@ body { } h1 { - font-size: 160%; - font-weight: 750; + font-size: 180%; + font-weight: 900; } h2 { @@ -307,7 +307,7 @@ hr { height: 0; border: none; border-top: 1px solid #DDD; - margin: 3em 0 1em; + margin: 2em 0 1em; } hr.footer { @@ -551,11 +551,11 @@ div.summary a { } div.header { - background-color: #EEE; + background-color: #F3F3F3; margin: 0; - border-bottom: 1px solid #CCC; + border-bottom: 1px solid #DDD; } div.headertitle { padding: 5px 5px 5px 10px; -}
\ No newline at end of file +} |