diff options
Diffstat (limited to 'example.style.css')
| -rw-r--r-- | example.style.css | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/example.style.css b/example.style.css index 8fbfa1e7..5545c554 100644 --- a/example.style.css +++ b/example.style.css @@ -1,18 +1,14 @@ -/* $Id: example.style.css,v 1.27 2010/12/16 23:23:34 kristaps Exp $ */ +/* $Id: example.style.css,v 1.28 2010/12/17 00:18:29 kristaps Exp $ */ html { min-width: 580px; width: 580px; } - body { font-family: monospace; } /* Sections. */ -div.sec-head { font-style: normal; font-weight: bold; } /* Sections (Sh). */ -div.sec-body { } -div.sec-block { } - -div.ssec-head { font-style: normal; font-weight: bold; } /* Sub-sections (Ss). */ -div.ssec-body { } -div.ssec-block { } +h1 { font-size: medium; margin-left: -4ex; } /* Section header (Sh, SH). */ +h2 { font-size: medium; margin-left: -2ex; } /* Sub-section header (Ss, SS). */ +div.section { margin-bottom: 3ex; margin-left: 4ex; } /* Sections (Sh, SH). */ +div.subsection { } /* Sub-sections (Ss, SS). */ /* Vertical spacing. */ |