Added some code to peer into a data structure in Maemian/Schedule.pm. Also added the
[maemian] / nokia-lintian / reporting / lintian.css
1 /* lintian.css -- Style sheet for lintian.debian.org pages. */
2
3 /*
4  # Table of Contents:
5  #
6  # 1. General styles (links, lists, titles, tables...)
7  # 2. Header
8  # 3. Navigation
9  # 4. Main content
10  # 5. Footer
11  # 6. Other
12  */
13
14 /*
15  # Order:
16  #
17  # example {
18  #   display
19  #   position
20  #   width
21  #   height
22  #   margin
23  #   padding
24  #   background
25  #   color
26  #   font
27  #   text
28  #   line-height
29  #   border
30  # }
31  */
32
33
34 /*
35  * 1. General styles
36  */
37
38 body {
39     margin: 0;
40     padding: 0;
41     color: #222;
42     font-family: sans-serif;
43 }
44
45 h1, h2 {
46     font-family: "Junicode", "FreeSerif", serif;
47 }
48
49 h2 {
50     margin-bottom: 14px;
51     padding-bottom: 6px;
52     border-bottom: 2px solid #AAA;
53 }
54
55 h3 {
56     margin: 5px 0 5px 10px;
57     color: #444;
58     font-size: 1.0em;
59 }
60
61 p {
62     line-height: 1.4em;
63 }
64
65 a {
66     color: #3252B2;
67 }
68
69 ul {
70     margin: 0;
71 }
72
73 li {
74     color: #333;
75 }
76
77 hr {
78     display: none;
79 }
80
81
82 /*
83  * 2. Header title
84  */
85
86 #header {
87     margin: 0 0 28px 0;
88     padding: 5px 20px;
89     /* TODO: Needs full path or url... */
90     background: #F3F3F3 url('logo-small.png') no-repeat right;
91     border-bottom: 1px solid #AAA;
92 }
93
94 #header p {
95     float: left;
96     margin: 5px 0;
97     color: #444;
98     font-size: 1.0em;
99     font-family: sans-serif;
100     font-weight: bold;
101 }
102
103 #header p a {
104     color: #444;
105     text-decoration: none;
106 }
107
108
109 /*
110  * 3. Navigation bar
111  */
112
113 #nav {
114     float: right;
115     margin: 5px 55px 5px 0;
116     padding: 0;
117 }
118
119 #nav li {
120     display: inline;
121     margin-left: 5px;
122 }
123
124 #nav a {
125     padding: 3px 5px;
126     color: #333;
127     font-size: 0.9em;
128     text-decoration: none;
129 }
130
131 #nav a:hover {
132     background-color: #FBFBFB;
133     border-bottom: 2px solid #D70751;
134 }
135
136
137 /*
138  * 4. Main content
139  */
140
141 #main {
142     margin: 0 25px;
143     font-size: 0.9em;
144     line-height: 1.4em;
145 }
146
147 /* Front page */
148
149 #logo {
150     text-align: center;
151 }
152
153 #index h2, #stats h2 {
154     margin: 1.4em 0 0.4em 0;
155     border: none;
156 }
157
158 #info {
159     margin: 25px 0;
160     padding: 20px;
161     background: #EFF4F8 url(l.png) no-repeat left;
162     border: 1px solid #DFE4E8;
163 }
164
165 #info p {
166     margin-left: 130px;
167 }
168
169 #stats table {
170     border-collapse: collapse;
171 }
172
173 #stats table tr td {
174     padding: 3px 5px;
175     background-color: #FDFDFD;
176     border: 1px solid #CCC;
177 }
178
179 #stats td span {
180     margin: 0 3px 0 0;
181     padding: 1px 3px;
182     font-family: monospace;
183 }
184
185 /* Maintainer reports */
186
187 #summary {
188     font-size: 0.9em;
189 }
190
191 #summary p {
192     margin-top: 5px;
193     font-size: 0.95em;
194 }
195
196 #summary ul {
197     padding-left: 20px;
198 }
199
200 ul.report {
201     padding-left: 20px;
202     padding-bottom: 1em;
203 }
204
205 ul.tag {
206     padding-bottom: 1em;
207 }
208
209 ul.report li {
210     padding-left: 5px;
211     padding-bottom: 6px;
212     list-style: none;
213 }
214
215 ul.tag li {
216     list-style: square;
217 }
218
219 li span {
220     margin: 0 3px 0 0;
221     padding: 1px 3px;
222     font-family: monospace;
223 }
224
225 h1 span {
226     padding: 1px 5px;
227     font-family: monospace;
228     font-size: 0.85em;
229     font-weight: normal;
230 }
231
232 ul.extra {
233     margin-bottom: 0;
234     padding-bottom: 0;
235 }
236
237 ul.report li ul.extra li {
238     padding-left: 0;
239     padding-bottom: 1px;
240     color: #444;
241     list-style: square;
242 }
243
244 div.source-header {
245     width: 100%;
246     margin: 1.4em 0 14px 0;
247     padding-bottom: 6px;
248     border-bottom: 2px solid #AAA;
249 }
250
251 div.source-header p, div.source-header h2 {
252     display: inline;
253     border: none;
254 }
255
256 .info-links {
257     margin-top: 0;
258 }
259
260 .info-links:before {
261     content: "– ";
262 }
263
264 /* Tag type */
265
266 h2.tag {
267     margin: 5px 0;
268     padding: 0;
269     color: #444;
270     font-family: sans-serif;
271     font-size: 1.0em;
272     font-weight: normal;
273     border: none;
274 }
275
276 h2.tag a {
277     font-weight: bold;
278 }
279
280 h2.tag span.type-O {
281     margin: 0 3px 0 0;
282     padding: 2px 4px;
283     color: #555;
284     background: #EEE;
285     font-family: monospace;
286     font-size: 1.1em;
287     font-weight: bold;
288     border: 1px solid #DDD;
289 }
290
291 /* E/W/I colors */
292
293 span.type-I {
294     color: #111;
295     background-color: #C7EA3C;
296 }
297
298 span.type-W {
299     color: #111;
300     background-color: #FFEB44;
301 }
302
303 span.type-E {
304     color: #111;
305     background-color: #FF6700;
306 }
307
308 span.type-X {
309     color: #111;
310     background-color: #EE99EE;
311 }
312
313 span.type-O {
314     color: #111;
315     background-color: #DDD;
316 }
317
318 li.type-O {
319     color: #444;
320 }
321
322 blockquote {
323     padding: 6px 16px;
324     background-color: #EEE;
325     border: 1px solid #DDD;
326 }
327
328 blockquote.type-I {
329     background-color: #DFA;
330     border: 1px solid #C7EA3C;
331 }
332
333 blockquote.type-W {
334     background-color: #FFD;
335     border: 1px solid #FFEB44;
336 }
337
338 blockquote.type-E {
339     background-color: #FE9;
340     border: 1px solid #FF6700;
341 }
342
343 blockquote.type-X {
344     background-color: #FECCFE;
345     border: 1px solid #DE66DE;
346 }
347
348
349 /*
350  * 5. Footer
351  */
352
353 #footer {
354     margin: 20px 20px;
355     padding: 10px 0 0 0;
356     font-size: 0.85em;
357     border-top: 1px solid #AAA;
358 }
359
360 #footer p {
361     margin: 0;
362     padding: 0;
363 }
364
365
366 /*
367  * 6. Other
368  */
369
370 div.clear {
371     clear: both;
372 }