aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/style.css12
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
+}