1 /* Pretty printing styles. Used with prettify.js. */
3 /* SPAN elements with the classes below are added by prettyprint. */
4 .pln { color: #000 } /* plain text */
7 .str { color: #080 } /* string content */
8 .kwd { color: #008 } /* a keyword */
9 .com { color: #800 } /* a comment */
10 .typ { color: #606 } /* a type name */
11 .lit { color: #066 } /* a literal value */
12 /* punctuation, lisp open bracket, lisp close bracket */
13 .pun, .opn, .clo { color: #660 }
14 .tag { color: #008 } /* a markup tag name */
15 .atn { color: #606 } /* a markup attribute name */
16 .atv { color: #080 } /* a markup attribute value */
17 .dec, .var { color: #606 } /* a declaration; a variable name */
18 .fun { color: red } /* a function name */
21 /* Use higher contrast and text-weight for printable form. */
22 @media print, projection {
24 .kwd { color: #006; font-weight: bold }
25 .com { color: #600; font-style: italic }
26 .typ { color: #404; font-weight: bold }
28 .pun, .opn, .clo { color: #440 }
29 .tag { color: #006; font-weight: bold }
34 /* Put a border around prettyprinted code snippets. */
35 pre.prettyprint { padding: 2px; border: 1px solid #888 }
37 /* Specify class=linenums on a pre to get line numbering */
38 ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
46 li.L8 { list-style-type: none }
47 /* Alternate shading for lines */
52 li.L9 { background: #eee }
54 /* Anpassungen an das Juplo-Branding */
76 border-color: @dunkel;
79 /* Alternate shading for lines */