Seite ohne MenĂ¼ doch mit Marginalspalte (nur andere Farbe)
[website] / src / main / webapp / less / base / prettify.less
1 /* Pretty printing styles. Used with prettify.js. */
2
3 /* SPAN elements with the classes below are added by prettyprint. */
4 .pln { color: #000 }  /* plain text */
5
6 @media screen {
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 */
19 }
20
21 /* Use higher contrast and text-weight for printable form. */
22 @media print, projection {
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, .opn, .clo { color: #440 }
29   .tag { color: #006; font-weight: bold }
30   .atn { color: #404 }
31   .atv { color: #060 }
32 }
33
34 /* Put a border around prettyprinted code snippets. */
35 pre.prettyprint { padding: 2px; border: 1px solid #888 }
36
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 */
39 li.L0,
40 li.L1,
41 li.L2,
42 li.L3,
43 li.L5,
44 li.L6,
45 li.L7,
46 li.L8 { list-style-type: none }
47 /* Alternate shading for lines */
48 li.L1,
49 li.L3,
50 li.L5,
51 li.L7,
52 li.L9 { background: #eee }
53
54 /* Anpassungen an das Juplo-Branding */
55
56 ol.linenums
57 {
58   margin: auto;
59   padding: 0 0 0 3em;
60 }
61 li.L0,
62 li.L1,
63 li.L2,
64 li.L3,
65 li.L4,
66 li.L5,
67 li.L6,
68 li.L7,
69 li.L8,
70 li.L9
71 {
72   padding: 0;
73 }
74 pre.prettyprint
75 {
76   border-color: @dunkel;
77   overflow-x: scroll;
78 }
79 /* Alternate shading for lines */
80 li.L1,
81 li.L3,
82 li.L5,
83 li.L7,
84 li.L9
85 {
86   background: @sehrhell
87 }