|
1 html, body, iframe { |
|
2 margin: 0px; |
|
3 padding: 0px; |
|
4 } |
|
5 |
|
6 .header { |
|
7 font-size: 1.2em; |
|
8 text-align: center; |
|
9 } |
|
10 .header.small { |
|
11 font-size: 0.8em; |
|
12 } |
|
13 |
|
14 div.contents ul { |
|
15 max-width: 600px; |
|
16 margin: 0 auto; |
|
17 } |
|
18 div.contents ul ul { |
|
19 margin-left: 1em; |
|
20 } |
|
21 |
|
22 a { |
|
23 text-decoration:none; |
|
24 color: hsl(240, 100%, 50%); |
|
25 } |
|
26 a:hover { opacity: .5; } |
|
27 h1 a { |
|
28 color: hsla(0, 0%, 0%, .8); |
|
29 } |
|
30 h2 a, h3 a, h4 a, .contents a { |
|
31 color: hsl(0, 100%, 25%); |
|
32 } |
|
33 h1 { text-align: center; } |
|
34 div > p:first-child:first-letter, |
|
35 h2 + p:first-letter, |
|
36 h3 + p:first-letter, |
|
37 h4 + p:first-letter, |
|
38 h5 + p:first-letter { |
|
39 font-weight: bold; |
|
40 } |
|
41 |
|
42 blockquote { |
|
43 margin: 1em 0; |
|
44 } |
|
45 ul, ol { |
|
46 margin-left: 1em; |
|
47 padding-left: 1em; |
|
48 } |
|
49 dl { |
|
50 margin-left: 1em; |
|
51 } |
|
52 .literal-block { |
|
53 margin: 0 0 0 1em; |
|
54 padding: 5px; |
|
55 border: 1px; |
|
56 border-style: solid; |
|
57 border-color: hsl(0, 100%, 25%); |
|
58 background-color: hsl(0, 10%, 95%); |
|
59 overflow: auto; |
|
60 } |
|
61 tt.literal { |
|
62 outline: 1px dotted orange; |
|
63 padding: 1px; |
|
64 } |
|
65 table { border-collapse:collapse; margin-left:auto; margin-right:auto; } |
|
66 table, tr, td { padding: 3px; border: 1px dotted maroon; background-color: cornsilk; } |
|
67 |
|
68 pre.code.keyword, pre.code.tag { |
|
69 color: blue; |
|
70 } |
|
71 pre.code.string, pre.code.preproc { |
|
72 color: green; |
|
73 } |
|
74 pre.code.name.decorator, pre.code.literal { |
|
75 color: brown; |
|
76 } |
|
77 pre.code.comment { |
|
78 color: magenta; |
|
79 } |
|
80 pre.code span.generic.prompt { |
|
81 color: magenta; |
|
82 } |
|
83 pre.code span.generic.output { |
|
84 color: gray; |
|
85 } |
|
86 |
|
87 .attention, .caution, .danger, .error, .warning, .important, .hint, .note, .tip { |
|
88 padding: 0px; |
|
89 margin: 5px 0px; |
|
90 text-indent: 2em; |
|
91 } |
|
92 .hint, .note, .tip { border: green 1px solid; } |
|
93 .warning, .important { border: gold 1px solid; } |
|
94 .attention, .caution, .danger, .error { border: red 1px solid; } |
|
95 .attention p.first, .caution p.first, .danger p.first, .error p.first, .warning p.first, .important p.first, .hint p.first, .note p.first, .tip p.first { |
|
96 margin: 0px; |
|
97 padding: 5px 0px; |
|
98 } |
|
99 .hint p.first, .note p.first, .tip p.first { background: rgb(176, 255, 176); } |
|
100 .warning p.first, .important p.first { background: rgb(255, 233, 176); } |
|
101 .attention p.first, .caution p.first, .danger p.first, .error p.first { background: rgb(255, 196, 180); } |
|
102 .attention p, .caution p, .danger p, .error p, .warning p, .important p, .hint p, .note p, .tip p { |
|
103 margin: 5px; |
|
104 } |
|
105 .attention pre, .caution pre, .danger pre, .error pre, .warning pre, .important pre, .hint pre, .note pre, .tip pre { |
|
106 margin: 0 5px 5px 4em; |
|
107 } |