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