1/*
2 * JEditorPane: Unitless lengths preserve the same outcome
3 * with 'w3cLengthUnits=true' or 'w3cLengthUnits=false', so
4 * prefer them over 'px' and 'pt' which produce opposite
5 * results with two of the settings.
6 */
7
8BODY { font-style: normal;
9       font-weight: normal }
10
11/* StyleSheet: Relative font sizes for block-level elements are
12 * buggy.  For headings the scaling is applied twice.  For divs,
13 * paragraphs, lists and others it is applied three times and
14 * more (depending on nesting). */
15H1  { font-size: 126% } /* 160% */
16H2  { font-size: 118% } /* 140% */
17H3  { font-size: 110% } /* 120% */
18H4  { font-size: 100% }
19P   { font-size: 100% }
20
21DIV, SPAN, OL, UL, LI, DL, DT, DD, TABLE, TR, TH, TD { font-size: inherit }
22
23H1, H2, H3, H4 { font-variant: small-caps }
24
25PRE { color: black;
26      background-color: #EEEEEE;
27      padding: 5px; padding: 5 }
28
29CODE, SAMP, KBD { font-size: 100% }
30
31KBD { background-color: #EEEEEE; color: black }
32
33BODY { margin-left: 7; margin-right: 7 }
34H1, H2, H3, H4, H5 { margin-top: 10; margin-bottom: 7 }
35P, PRE, OL, UL, DL, MENU, DIR { margin-top: 7; margin-bottom: 7 }
36
37TABLE { border: none }
38
39