1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
/*
KDE-wide default CSS for HTML documentation (all media types).
Copyright (C) 2000 Frederik Fouvry
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
Send comments, suggestions, etc. to Frederik Fouvry
<fouvry@sfs.nphil.uni-tuebingen.de>.
*/
/*
Important note: these setting may be overridden by localised CSS. Do not
add here any localisation-sensitive style declarations.
Any updates should be validated, e.g. http://jigsaw.w3.org/css-validator/
*/
/* Note: "should be inherit" means that in a proper browser inherit should work.
Somehow Netscape manages to interpret "inherit" as bright green.
Yuck.
*/
BODY { background-color: rgb(255,255,255);
font-family: Helvetica, Arial, sans-serif; /* or just generic font? */
color: rgb(0,0,0);
margin-top: 1.5em;
margin-left: 1.5em;
margin-bottom: 1.5em;
margin-right: 1em;
}
:link { color: rgb(170,0,0);
background-color: white; /* should be inherit */ }
/* :visited { color: rgb(170,0,0); } what is KDE value?*/
/* Lauri */
TABLE { padding: 5px; }
TABLE.programlisting
TABLE.screen { border-style: none;
background-color: rgb(224,224,224);
table-layout: auto; /* 100%? */
color: rgb(0,0,0); /* should be inherit */
}
/* Same as previous block, but more general (previous is HTML only)
Not all browsers understand this yet.
TABLE[class~=programlisting]
TABLE[class~=screen] { border-style: none;
background-color: rgb(224,224,224);
table-layout: auto;
color: inherit;
}
*/
/* Lauri */
/* Removed 7/30/00 - Mike McBride*/
/* LI { padding-bottom: -2em; } */
P { text-align: justify; }
/* More specific settings */
DIV.navbar P { text-align: right; }
/* Temporary patch: browsers break on bad HTML */
P H1 H2 H3 H4 H5 TD { font-family: Helvetica, Arial, sans-serif;
}
/* Lauri @ Hack Session in Erlangen - Test */
.guimenu, .guimenuitem, .guisubmenu { background-color: rgb(240,240,240);
color: rgb(0,0,0); /* should be inherit */
}
.guilabel, .interface, .guibutton { background-color: rgb(240,240,240);
color: rgb(0,0,0); /* should be inherit */
}
.shortcut { background-color: rgb(240,240,240);
color: rgb(0,0,0); /* should be inherit */
}
.shortcut .keycap { background-color: rgb(240,240,240);
color: rgb(0,0,0); /* should be inherit */
}
.question { font-weight: bolder; }
/* An idea that could be nice: a search engine looking for specific
classes could display them in some conspicuous colour. All that is
needed is an on the fly generated style element/style sheet. */
|
