]>
Commit | Line | Data |
---|---|---|
6527f429 DM |
1 | /* Pretty printing styles. Used with prettify.js. */\r |
2 | \r | |
3 | /* SPAN elements with the classes below are added by prettyprint. */\r | |
4 | .pln { color: #000 } /* plain text */\r | |
5 | \r | |
6 | @media screen {\r | |
7 | .str { color: #080 } /* string content */\r | |
8 | .kwd { color: #008 } /* a keyword */\r | |
9 | .com { color: #800 } /* a comment */\r | |
10 | .typ { color: #606 } /* a type name */\r | |
11 | .lit { color: #066 } /* a literal value */\r | |
12 | /* punctuation, lisp open bracket, lisp close bracket */\r | |
13 | .pun, .opn, .clo { color: #660 }\r | |
14 | .tag { color: #008 } /* a markup tag name */\r | |
15 | .atn { color: #606 } /* a markup attribute name */\r | |
16 | .atv { color: #080 } /* a markup attribute value */\r | |
17 | .dec, .var { color: #606 } /* a declaration; a variable name */\r | |
18 | .fun { color: red } /* a function name */\r | |
19 | }\r | |
20 | \r | |
21 | /* Use higher contrast and text-weight for printable form. */\r | |
22 | @media print, projection {\r | |
23 | .str { color: #060 }\r | |
24 | .kwd { color: #006; font-weight: bold }\r | |
25 | .com { color: #600; font-style: italic }\r | |
26 | .typ { color: #404; font-weight: bold }\r | |
27 | .lit { color: #044 }\r | |
28 | .pun, .opn, .clo { color: #440 }\r | |
29 | .tag { color: #006; font-weight: bold }\r | |
30 | .atn { color: #404 }\r | |
31 | .atv { color: #060 }\r | |
32 | }\r | |
33 | \r | |
34 | /* Put a border around prettyprinted code snippets. */\r | |
35 | pre.prettyprint { padding: 2px; border: 1px solid #888 }\r | |
36 | \r | |
37 | /* Specify class=linenums on a pre to get line numbering */\r | |
38 | ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */\r | |
39 | li.L0,\r | |
40 | li.L1,\r | |
41 | li.L2,\r | |
42 | li.L3,\r | |
43 | li.L5,\r | |
44 | li.L6,\r | |
45 | li.L7,\r | |
46 | li.L8 { list-style-type: none }\r | |
47 | /* Alternate shading for lines */\r | |
48 | li.L1,\r | |
49 | li.L3,\r | |
50 | li.L5,\r | |
51 | li.L7,\r | |
52 | li.L9 { background: #eee }\r |