diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-03T15·19+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-03T15·19+0000 |
| commit | 3837fb233cccc8f65629749f07820afba04952a0 (patch) | |
| tree | 0987266dc21d34e219024197feb03ce498da371e /doc/manual/style.css | |
| parent | d20c3011a06a49d229c92c49447eb21b5a1f110d (diff) | |
* Document the built-in functions.
Diffstat (limited to 'doc/manual/style.css')
| -rw-r--r-- | doc/manual/style.css | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index 103086de1f..93ab65c4d1 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: ***************************************************************************/ |