about summary refs log tree commit diff
path: root/doc/manual/style.css
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-10-03T15·19+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-10-03T15·19+0000
commit3837fb233cccc8f65629749f07820afba04952a0 (patch)
tree0987266dc21d34e219024197feb03ce498da371e /doc/manual/style.css
parentd20c3011a06a49d229c92c49447eb21b5a1f110d (diff)
* Document the built-in functions.
Diffstat (limited to 'doc/manual/style.css')
-rw-r--r--doc/manual/style.css17
1 files changed, 8 insertions, 9 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index 103086de1f36..93ab65c4d138 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -41,30 +41,29 @@ div.section > div.titlepage h2 /* sections */
     margin-top: 1.5em;
 }
 
-div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
+h3 /* subsections */
 {
-    margin-top: 1.4em;
     font-size: 125%;
 }
 
-div.refsection h3
+div.appendix h3
 {
-    font-size: 110%;
+    font-size: 150%;
+    margin-top: 1.5em;
 }
 
-h3 /* subsections */
+div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
 {
+    margin-top: 1.4em;
     font-size: 125%;
 }
 
-div.appendix h3
+div.refsection h3
 {
-    font-size: 150%;
-    margin-top: 1.5em;
+    font-size: 110%;
 }
 
 
-
 /***************************************************************************
                                Program listings:
  ***************************************************************************/