blob: c6a08211782f8bb81f4afe2b5b36af162d1fef78 (
plain)
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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
/* das grosse Ganze */
body {
margin: 20px 10px;
padding: 5px;
color: #000;
text-align: justify;
font-family: Verdana, "Lucida Grande", Lucida;
background-color: #e4e4e4;
}
/* Seitenueberschrift */
h1 {
color: #940000;
text-align: center;
text-decoration: underline;
font: 22pt Geneva, sans-serif, Helvetica, Arial;
}
/* Themenueberschrift */
h2 {
font-size: 18pt;
color: #000;
font-variant: small-caps;
margin-top: 40px;
}
/* Unterueberschrift */
h3 {
font-size: 16pt;
color: #000;
font-variant: small-caps;
margin: 0;
padding-top: 10px;
}
/* Text */
p {
font-size: 11pt;
}
/* Quellcode hervorheben */
.code {
color: #000;
font-family: Courier, mono;
background-color: #fff;
display: table;
margin-left: 10px;
padding: 5px;
margin-top: 10px;
}
.keyword {
color: #9f0b55;
}
.comment {
color: #008600;
}
/* inline-Quellcode */
.function {
color: #006900;
font-family: "Courier New", Courier, mono;
font-weight: bold;
}
/* Konsolenausgaben hervorheben */
.console {
color: #0f0;
background-color: #000;
display: table;
margin-left: 10px;
padding: 5px;
margin-top: 10px;
font: 10pt "Lucida Grande", Lucida, Verdana;
}
/* alle Links sind gleich */
a:link {
text-decoration: none;
color: #110086;
}
a:visited {
text-decoration: none;
color: #110086;
}
a:active {
text-decoration: underline;
color: #110086;
}
a:hover {
color: #ff2021;
/*color: #5796ff;*/
text-decoration: underline;
}
/* oberes Menue */
.menu {
line-height: 22px;
}
/* Liste */
ul {
margin: 0;
list-style-type: circle;
padding: 0 20px;
list-style-position: outside;
}
/* Unterpunkte im Menue */
ul.menu {
color: #110086;
}
/* Grafiken */
img {
margin: 10px 20px 5px 5px;
float: left;
border: 1px solid #000;
}
/* IE-Workaround */
ins {
text-decoration: none;
}
|
