equal
deleted
inserted
replaced
20 } |
20 } |
21 |
21 |
22 div#header h1 { |
22 div#header h1 { |
23 font-size: 48pt; |
23 font-size: 48pt; |
24 font-weight: bold; |
24 font-weight: bold; |
|
25 text-align: center; |
25 } |
26 } |
26 |
27 |
27 div#header a:hover { |
28 div#header a:hover { |
28 text-decoration: none; |
29 text-decoration: none; |
29 } |
30 } |
104 |
105 |
105 a:hover { |
106 a:hover { |
106 text-decoration: underline; |
107 text-decoration: underline; |
107 } |
108 } |
108 |
109 |
109 h1 { |
110 /* Page styles */ |
|
111 #page h1 { |
110 font-size: xx-large; |
112 font-size: xx-large; |
111 |
113 |
112 text-align: center; |
114 text-align: center; |
113 } |
115 } |
114 |
116 |
115 h2 { |
117 #page h2 { |
116 font-size: large; |
118 font-size: large; |
117 |
119 |
118 margin-left: 0px; |
120 margin-left: 0px; |
119 padding: 5px; |
121 padding: 5px; |
120 width: 100%; |
122 width: 100%; |
122 background-color: #e5e5e5; |
124 background-color: #e5e5e5; |
123 |
125 |
124 border: 1px dashed #c5c5c5; |
126 border: 1px dashed #c5c5c5; |
125 } |
127 } |
126 |
128 |
127 h3 { |
129 #page h3 { |
128 font-size: medium; |
130 font-size: medium; |
129 font-style: italic; |
131 font-style: italic; |
130 } |
132 } |
131 |
133 |
132 #content p { |
134 #page p { |
133 margin-left: 0.5em; |
135 margin-left: 0.5em; |
134 } |
136 } |
135 |
137 |
136 #content li { |
138 #page li { |
137 padding: 2px; |
139 padding: 2px; |
138 } |
140 } |
139 |
141 |
140 #content a { |
142 #page a { |
141 padding-right: 13px; |
143 padding-right: 13px; |
142 |
144 |
143 background: transparent url(/static/link.png) no-repeat center right; |
145 background: transparent url(/static/link.png) no-repeat center right; |
144 } |
146 } |
145 |
147 |
146 dt { |
148 #page dt { |
147 font-size: large; |
149 font-size: large; |
148 } |
150 } |
149 |
151 |
150 dd { |
152 #page dd { |
151 margin: 1em auto 1em 5em; |
153 margin: 1em auto 1em 5em; |
152 } |
154 } |
153 |
155 |
154 /* Inline code */ |
|
155 |
|
156 /* Code block */ |
156 /* Code block */ |
157 pre { |
157 #page pre { |
158 display: block; |
158 display: block; |
159 margin: 8px; |
159 margin: 8px; |
160 padding: 8px; |
160 padding: 8px; |
161 |
161 |
162 border: 1px dotted #b5b5b5; |
162 border: 1px dotted #b5b5b5; |