1 .prettyprint .kwd, .tag { 2 font-weight: bold; 3 color: #7f0055; 4 } 5 6 .prettyprint .str,.atv { 7 color: #0000cc; 8 } 9 10 .prettyprint .com { 11 color: #008800; 12 } 13 14 .prettyprint .lit { 15 color: #cc2222; 16 font-weight: bold; 17 } 18 19 20 pre.prettyprint { padding: 2px; border: 1px solid #888; } 21 22 @media print { 23 .str { color: #060; } 24 .kwd { color: #006; font-weight: bold; } 25 .com { color: #600; font-style: italic; } 26 .typ { color: #404; font-weight: bold; } 27 .lit { color: #044; } 28 .pun { color: #440; } 29 .pln { color: #000; } 30 .tag { color: #006; font-weight: bold; } 31 .atn { color: #404; } 32 .atv { color: #060; } 33 } 34 35
