aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/style.css
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-12-13 21:50:01 +0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-12-13 21:50:01 +0100
commite5a51fab24e01d59927f1a6e3a9e2adaaf7f951e (patch)
tree9754491b2617dcbc02956078e29a119d13d3b3ea /doc/manual/style.css
parentfa2063ca3500139841d6969e5572a83ac9bb3589 (diff)
Style
Diffstat (limited to 'doc/manual/style.css')
-rw-r--r--doc/manual/style.css7
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index f805aeab0..dedca1471 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -23,6 +23,11 @@ h1 /* title */
font-size: 200%;
}
+div.part h1
+{
+ font-size: 240%;
+}
+
h2 /* chapters, appendices, subtitle */
{
font-size: 180%;
@@ -30,7 +35,7 @@ h2 /* chapters, appendices, subtitle */
div.part
{
- margin-top: 2em;
+ margin-top: 4em;
}
/* Extra space between chapters, appendices. */