summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc.css8
-rw-r--r--toc.css2
2 files changed, 9 insertions, 1 deletions
diff --git a/doc.css b/doc.css
index d0a8e65..33054b5 100644
--- a/doc.css
+++ b/doc.css
@@ -33,6 +33,14 @@ h2
margin: 1.6em 0 .6em -.8em;
}
+h3
+{
+ font-weight: normal;
+ font-size: 1.3em;
+ line-height: 1.4em;
+ margin: 1.6em 0 .6em -.2em;
+}
+
/* Title page */
#titlepage {
diff --git a/toc.css b/toc.css
index 6b7c7e6..6cad5aa 100644
--- a/toc.css
+++ b/toc.css
@@ -35,7 +35,7 @@ table.toc * th
table.toc * table.toc th
{
- padding-left : 1.7em;
+ padding-left : 1em;
}
table.toc * td