trunk/www.linuxsampler.org/index.css

body    {
        background: rgb(220,220,220);
        }

#mainwindow {
        border: 1px solid black;
        background: white;
        overflow: auto;
        width: 100%;
        padding: 0;
        }

#contents {
        margin: 0;
        }


h2      {
        font-size: 11pt;
        font-family: sans-serif,Arial,Helvetica;
        font-style: normal;
        font-weight: bold;
        border: none;
        background: rgb(240,240,240);
        margin: 0.8em 0.4em 0.8em 0.8em;
        padding: 0.4em 0.4em 0.4em 0.4em;
        }

h3      {
        font-size: 11pt;
        font-family: sans-serif,Arial,Helvetica;
        font-style: normal;
        font-weight: bold;
        border: none;
        background: rgb(240,240,240);
        margin: 0.8em 0.4em 0.8em 0.8em;
        padding: 0.4em 0.4em 0.4em 0.4em;
        }

.hidden
{
        display: none;
}

img {
        border: none;
        display: block;
        }

table th {
        font-size: 11pt;
        font-family: sans-serif,Arial,Helvetica;
        font-style: normal;
        font-weight: bold;
        background: rgb(240,240,240);
        }

.code {
        overflow: auto;
        font-size: 8pt;
        /*max-width: 300;*/
        background-color: #F6F6F6;
        border: 2px outset GhostWhite;
        margin: 0em 3em 0em 3.2em;
        padding-left: 3px;
        padding-right: 3px;
        padding-top: 3px;
        padding-bottom: 3px;
        }

.figure {
        overflow: auto;
        font-size: 8pt;
        margin: 0em 3em 0em 3.2em;
        padding-left: 3px;
        padding-right: 3px;
        padding-top: 3px;
        padding-bottom: 3px;
}

table.default {
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        padding: 0em 0em 0em 0em;
        margin: 0em 0em 0em 2em;
        }

table.decorated {
        border: none;
        background-color: transparent;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        padding: 0em 0em 0em 0em;
        margin: 0em 0em 0em 2em;
}

td.decorated {
        border: none;
        background-color: #F2F2F4;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        font-style: normal;
        font-weight: normal;
        text-align: left;
        padding: 0.6em;
}

td.decorated_header {
        border: none;
        background-color: #E0E0FF;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        font-style: normal;
        font-weight: bold;
        text-align: left;
        padding: 0.6em;
}

.boxed {
        padding: 0.6em;
        border: 1px outset White;
        background-color: #F0F0F0;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
}

td.bordered {
        text-align: center;
        padding: 0.6em;
        border: 2px outset White;
        background-color: #F0F0F0;
        }

td.default {
        padding: 0.6em;
        }

.formatmatrix {
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        }

.formatmatrix th{
        border: 1px solid rgb(200,200,200);
        }

.formatmatrix td {
        padding: 0.6em;
        }

.formatmatrix tr.white td {
        border: 1px solid rgb(240, 240, 240);
        }

.formatmatrix tr.grey td {
        background: rgb(230, 230, 230);
        border: none;
        }

.formatmatrix tr.green td {
        background: rgb(180, 255, 180);
        border: none;
        }

.formatmatrix tr.red td {
        background: rgb(255, 180, 180);
        border: none;
        }

.linkstable {
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        }

.linkstable a {
        text-decoration: none;
        }

.linkstable a:hover {
        text-decoration: underline;
        }

a:link {
        color: #007;
}

a:visited {
        color: #889;
}

p {
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        padding: 1em 2.2em;
}

p.default  {
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        padding: 1em 2.2em;
        }

p.caution  {
        border: solid 1px;
        background: rgb(255, 180, 180);
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        margin: 1.6em 1.2em 1.6em 1.2em;
        padding: 0.6em 0.6em 0.6em 0.6em;
}

table.pure {
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        font-style: normal;
        font-weight: normal;
        }

div.groupbox {
        background: rgb(240, 240, 240);
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        margin: 1em 3em 1em 3em;
        padding: 1em 1em 1em 2.2em;
        }

p.groupbox {
        border: none;
        background: rgb(240, 240, 240);
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        margin: 1em 3em 1em 3em;
        padding: 1em 1em 1em 2.2em;
        }

span.default  {
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        font-style: normal;
        font-weight: normal;
        }

ul      {
        border: none;
        background: rgb(240, 240, 240);
        list-style-image: url("gfx/okay.png");
        margin: 1em 3em 1em 3em;
        padding: 1em 1em 1em 2.2em;
        }

ol.default      {
        /* list-style-type:circle; */
        border: none;
        background: rgb(240, 240, 240);
        margin: 1em 3em 1em 3em;
        padding: 1em 1em 1em 2.2em;
        }

li      {
        padding: 0.2em 0.2em 0.2em 0.2em;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        }

li.ok   {
        list-style-image: url("gfx/okay_green.png");
        padding: 0.2em 0.2em 0.2em 0.2em;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        }

li.false        {
        list-style-image: url("gfx/x.png");
        padding: 0.2em 0.2em 0.2em 0.2em;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        }

li.partly       {
        list-style-image: url("gfx/yellow_light.png");
        padding: 0.2em 0.2em 0.2em 0.2em;
        font-size: 10pt;
        font-family: sans-serif,Arial,Helvetica;
        text-align: justify;
        }


/* info code from SantaKlauss at http://www.madaboutstyle.com/tooltip2.html */
a.info {
        /* This is the key. */
        position: relative;
        z-index: 24;
        text-decoration: none;
}
a.info:hover {
        z-index: 25;
        color: #FFF; background-color: #900;
}
a.info span { display: none; }
a.info:hover span.info {
        /* The span will display just on :hover state. */
        display: block;
        position: absolute;
        font-size: smaller;
        top: 2em; left: -5em; width: 15em;
        padding: 2px; border: 1px solid #333;
        color: #900; background-color: #DDF;
        text-align: left;
}


/* News section */

div.news {
    border: 1px dotted;
    margin: 0.8em 2em;
    padding: 0.4em 0.4em;
    font-size: 10pt;
    font-family: sans-serif,Arial,Helvetica;
    text-align: justify;
    font-style: normal;
    font-weight: normal;
}

ul.news {
    background: transparent;
    list-style-type: disc;
    margin: 0em 0em 0em 0em;
    padding: 0em 0em 0em 1.5em;
}

li.news {
    font-size: 10pt;
    font-family: sans-serif,Arial,Helvetica;
    text-align: justify;
    font-style: normal;
    font-weight: normal;
}

span.news_date {
    font-weight: bold;
}

span.news_footer {
    margin: 0em 2em;
    font-size: 10pt;
    font-family: sans-serif,Arial,Helvetica;
    text-align: left;
    font-style: normal;
    font-weight: normal;
}


/* CVS Commits section */

table.cvs {
    font-size: 10pt;
    font-family: sans-serif,Arial,Helvetica;
    text-align: justify;
    font-style: normal;
    font-weight: normal;
    margin: 0em 2em;
}

table.cvs_project {
    border: 1px dotted;
}

#cvs_content {
    height: 300px;
    overflow: hidden;
    font-size: 10pt;
    font-family: sans-serif,Arial,Helvetica;
    text-align: justify;
    font-style: normal;
    font-weight: normal;
}

span.cvs_footer {
    font-size: 10pt;
    font-family: sans-serif,Arial,Helvetica;
    text-align: justify;
    font-style: normal;
    font-weight: normal;
}
1	senoner	542	body {
2			background: rgb(220,220,220);
3			}
4
5			#mainwindow {
6			border: 1px solid black;
7			background: white;
8	schoenebeck	782	overflow: auto;
9	senoner	542	width: 100%;
10			padding: 0;
11			}
12
13			#contents {
14			margin: 0;
15			}
16
17
18			h2 {
19	schoenebeck	1276	font-size: 11pt;
20			font-family: sans-serif,Arial,Helvetica;
21			font-style: normal;
22			font-weight: bold;
23	senoner	542	border: none;
24			background: rgb(240,240,240);
25	schoenebeck	1276	margin: 0.8em 0.4em 0.8em 0.8em;
26			padding: 0.4em 0.4em 0.4em 0.4em;
27	senoner	542	}
28
29			h3 {
30	schoenebeck	1276	font-size: 11pt;
31			font-family: sans-serif,Arial,Helvetica;
32			font-style: normal;
33			font-weight: bold;
34	senoner	542	border: none;
35			background: rgb(240,240,240);
36	schoenebeck	1276	margin: 0.8em 0.4em 0.8em 0.8em;
37			padding: 0.4em 0.4em 0.4em 0.4em;
38	senoner	542	}
39
40			.hidden
41			{
42			display: none;
43			}
44
45			img {
46			border: none;
47			display: block;
48			}
49
50			table th {
51	schoenebeck	1276	font-size: 11pt;
52			font-family: sans-serif,Arial,Helvetica;
53			font-style: normal;
54	schoenebeck	771	font-weight: bold;
55			background: rgb(240,240,240);
56	senoner	542	}
57
58			.code {
59	schoenebeck	1276	overflow: auto;
60			font-size: 8pt;
61			/max-width: 300;/
62	senoner	542	background-color: #F6F6F6;
63			border: 2px outset GhostWhite;
64	schoenebeck	1276	margin: 0em 3em 0em 3.2em;
65	senoner	542	padding-left: 3px;
66			padding-right: 3px;
67			padding-top: 3px;
68			padding-bottom: 3px;
69			}
70
71	schoenebeck	1276	.figure {
72			overflow: auto;
73			font-size: 8pt;
74			margin: 0em 3em 0em 3.2em;
75			padding-left: 3px;
76			padding-right: 3px;
77			padding-top: 3px;
78			padding-bottom: 3px;
79			}
80
81	schoenebeck	610	table.default {
82	schoenebeck	1276	font-size: 10pt;
83			font-family: sans-serif,Arial,Helvetica;
84	schoenebeck	610	text-align: justify;
85			font-style: normal;
86			font-weight: normal;
87	schoenebeck	1276	padding: 0em 0em 0em 0em;
88			margin: 0em 0em 0em 2em;
89	schoenebeck	610	}
90
91	schoenebeck	1276	table.decorated {
92			border: none;
93			background-color: transparent;
94			font-size: 10pt;
95			font-family: sans-serif,Arial,Helvetica;
96			text-align: justify;
97			font-style: normal;
98			font-weight: normal;
99			padding: 0em 0em 0em 0em;
100			margin: 0em 0em 0em 2em;
101			}
102
103			td.decorated {
104			border: none;
105			background-color: #F2F2F4;
106			font-size: 10pt;
107			font-family: sans-serif,Arial,Helvetica;
108			font-style: normal;
109			font-weight: normal;
110			text-align: left;
111			padding: 0.6em;
112			}
113
114			td.decorated_header {
115			border: none;
116			background-color: #E0E0FF;
117			font-size: 10pt;
118			font-family: sans-serif,Arial,Helvetica;
119			font-style: normal;
120			font-weight: bold;
121			text-align: left;
122			padding: 0.6em;
123			}
124
125	schoenebeck	1947	.boxed {
126			padding: 0.6em;
127			border: 1px outset White;
128			background-color: #F0F0F0;
129			font-size: 10pt;
130			font-family: sans-serif,Arial,Helvetica;
131			text-align: justify;
132			font-style: normal;
133			font-weight: normal;
134			}
135
136	schoenebeck	1246	td.bordered {
137			text-align: center;
138			padding: 0.6em;
139			border: 2px outset White;
140			background-color: #F0F0F0;
141			}
142
143	schoenebeck	610	td.default {
144			padding: 0.6em;
145			}
146
147	senoner	542	.formatmatrix {
148	schoenebeck	1276	font-size: 10pt;
149			font-family: sans-serif,Arial,Helvetica;
150	senoner	542	text-align: justify;
151			font-style: normal;
152			font-weight: normal;
153			}
154
155			.formatmatrix th{
156			border: 1px solid rgb(200,200,200);
157			}
158
159			.formatmatrix td {
160			padding: 0.6em;
161			}
162
163			.formatmatrix tr.white td {
164			border: 1px solid rgb(240, 240, 240);
165			}
166
167			.formatmatrix tr.grey td {
168			background: rgb(230, 230, 230);
169			border: none;
170			}
171
172			.formatmatrix tr.green td {
173			background: rgb(180, 255, 180);
174			border: none;
175			}
176
177			.formatmatrix tr.red td {
178			background: rgb(255, 180, 180);
179			border: none;
180			}
181
182			.linkstable {
183	schoenebeck	1276	font-size: 10pt;
184			font-family: sans-serif,Arial,Helvetica;
185	senoner	542	text-align: justify;
186			font-style: normal;
187			font-weight: normal;
188			}
189
190			.linkstable a {
191			text-decoration: none;
192			}
193
194			.linkstable a:hover {
195			text-decoration: underline;
196			}
197
198	schoenebeck	1841	a:link {
199			color: #007;
200			}
201
202			a:visited {
203			color: #889;
204			}
205
206	schoenebeck	1276	p {
207			font-size: 10pt;
208			font-family: sans-serif,Arial,Helvetica;
209			text-align: justify;
210			font-style: normal;
211			font-weight: normal;
212			padding: 1em 2.2em;
213			}
214	senoner	542
215			p.default {
216	schoenebeck	1276	font-size: 10pt;
217			font-family: sans-serif,Arial,Helvetica;
218	senoner	542	text-align: justify;
219			font-style: normal;
220			font-weight: normal;
221			padding: 1em 2.2em;
222			}
223
224	schoenebeck	1276	p.caution {
225			border: solid 1px;
226			background: rgb(255, 180, 180);
227			font-size: 10pt;
228			font-family: sans-serif,Arial,Helvetica;
229			text-align: justify;
230			font-style: normal;
231			font-weight: normal;
232			margin: 1.6em 1.2em 1.6em 1.2em;
233			padding: 0.6em 0.6em 0.6em 0.6em;
234			}
235
236	senoner	542	table.pure {
237	schoenebeck	1276	font-size: 10pt;
238			font-family: sans-serif,Arial,Helvetica;
239	senoner	542	font-style: normal;
240			font-weight: normal;
241			}
242
243			div.groupbox {
244			background: rgb(240, 240, 240);
245	schoenebeck	1276	font-size: 10pt;
246			font-family: sans-serif,Arial,Helvetica;
247	senoner	542	text-align: justify;
248			font-style: normal;
249			font-weight: normal;
250			margin: 1em 3em 1em 3em;
251			padding: 1em 1em 1em 2.2em;
252			}
253
254			p.groupbox {
255			border: none;
256			background: rgb(240, 240, 240);
257	schoenebeck	1276	font-size: 10pt;
258			font-family: sans-serif,Arial,Helvetica;
259	senoner	542	text-align: justify;
260			font-style: normal;
261			font-weight: normal;
262			margin: 1em 3em 1em 3em;
263			padding: 1em 1em 1em 2.2em;
264			}
265
266			span.default {
267	schoenebeck	1276	font-size: 10pt;
268			font-family: sans-serif,Arial,Helvetica;
269	senoner	542	text-align: justify;
270			font-style: normal;
271			font-weight: normal;
272			}
273
274			ul {
275			border: none;
276			background: rgb(240, 240, 240);
277			list-style-image: url("gfx/okay.png");
278			margin: 1em 3em 1em 3em;
279			padding: 1em 1em 1em 2.2em;
280			}
281
282	schoenebeck	585	ol.default {
283			/* list-style-type:circle; */
284			border: none;
285			background: rgb(240, 240, 240);
286			margin: 1em 3em 1em 3em;
287			padding: 1em 1em 1em 2.2em;
288			}
289
290	senoner	542	li {
291			padding: 0.2em 0.2em 0.2em 0.2em;
292	schoenebeck	1276	font-size: 10pt;
293			font-family: sans-serif,Arial,Helvetica;
294	senoner	542	text-align: justify;
295			}
296
297			li.ok {
298			list-style-image: url("gfx/okay_green.png");
299			padding: 0.2em 0.2em 0.2em 0.2em;
300	schoenebeck	1276	font-size: 10pt;
301			font-family: sans-serif,Arial,Helvetica;
302	senoner	542	text-align: justify;
303			}
304
305			li.false {
306			list-style-image: url("gfx/x.png");
307			padding: 0.2em 0.2em 0.2em 0.2em;
308	schoenebeck	1276	font-size: 10pt;
309			font-family: sans-serif,Arial,Helvetica;
310	senoner	542	text-align: justify;
311			}
312
313			li.partly {
314			list-style-image: url("gfx/yellow_light.png");
315			padding: 0.2em 0.2em 0.2em 0.2em;
316	schoenebeck	1276	font-size: 10pt;
317			font-family: sans-serif,Arial,Helvetica;
318	senoner	542	text-align: justify;
319			}
320	schoenebeck	1246
321
322			/* info code from SantaKlauss at http://www.madaboutstyle.com/tooltip2.html */
323			a.info {
324			/* This is the key. */
325			position: relative;
326			z-index: 24;
327			text-decoration: none;
328			}
329			a.info:hover {
330			z-index: 25;
331			color: #FFF; background-color: #900;
332			}
333			a.info span { display: none; }
334			a.info:hover span.info {
335			/* The span will display just on :hover state. */
336			display: block;
337			position: absolute;
338			font-size: smaller;
339			top: 2em; left: -5em; width: 15em;
340			padding: 2px; border: 1px solid #333;
341			color: #900; background-color: #DDF;
342			text-align: left;
343			}
344	schoenebeck	1268
345
346
347			/* News section */
348
349			div.news {
350			border: 1px dotted;
351			margin: 0.8em 2em;
352			padding: 0.4em 0.4em;
353	schoenebeck	1276	font-size: 10pt;
354			font-family: sans-serif,Arial,Helvetica;
355	schoenebeck	1268	text-align: justify;
356			font-style: normal;
357			font-weight: normal;
358			}
359
360			ul.news {
361			background: transparent;
362			list-style-type: disc;
363			margin: 0em 0em 0em 0em;
364			padding: 0em 0em 0em 1.5em;
365			}
366
367			li.news {
368	schoenebeck	1276	font-size: 10pt;
369			font-family: sans-serif,Arial,Helvetica;
370	schoenebeck	1268	text-align: justify;
371			font-style: normal;
372			font-weight: normal;
373			}
374
375			span.news_date {
376			font-weight: bold;
377			}
378	schoenebeck	1270
379			span.news_footer {
380			margin: 0em 2em;
381	schoenebeck	1278	font-size: 10pt;
382			font-family: sans-serif,Arial,Helvetica;
383			text-align: left;
384			font-style: normal;
385			font-weight: normal;
386	schoenebeck	1270	}
387	schoenebeck	1273
388
389
390			/* CVS Commits section */
391
392			table.cvs {
393	schoenebeck	1276	font-size: 10pt;
394			font-family: sans-serif,Arial,Helvetica;
395	schoenebeck	1273	text-align: justify;
396			font-style: normal;
397			font-weight: normal;
398			margin: 0em 2em;
399			}
400
401			table.cvs_project {
402			border: 1px dotted;
403			}
404
405			#cvs_content {
406	schoenebeck	1284	height: 300px;
407	schoenebeck	1273	overflow: hidden;
408	schoenebeck	1276	font-size: 10pt;
409			font-family: sans-serif,Arial,Helvetica;
410	schoenebeck	1273	text-align: justify;
411			font-style: normal;
412			font-weight: normal;
413			}
414
415			span.cvs_footer {
416	schoenebeck	1276	font-size: 10pt;
417			font-family: sans-serif,Arial,Helvetica;
418	schoenebeck	1273	text-align: justify;
419			font-style: normal;
420			font-weight: normal;
421			}