• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1html {
2	background-color: #ccccff;
3	border-left: 3px dashed #ffffff;
4	border-right: 3px dashed #ffffff;
5}
6
7/* language dependent quotes work only with <q></q>, but neither Firefox nor Safari displays them */
8
9html[lang|="de"] {
10    quotes: "\201E" "\201C" "\201A" "\2018";
11}
12
13html[lang|="en"] {
14    quotes: "\201C" "\201D" "\2018" "\2019";
15}
16
17html[lang|="fr"] {
18    quotes: "\00AB" "\00BB" "\2039" "\203A";
19}
20
21body {
22	font-family: 'Droid Serif', Georgia, Times, serif, roman;
23	font-size: 110%;
24	padding-left: 2em;
25	padding-right: 2em;
26	margin-left: auto;
27	margin-right: auto;
28	text-align: left;
29}
30
31p {
32	text-align: justify;
33	margin-bottom: 0.25em;
34}
35
36a {
37	text-decoration: none;
38}
39
40p a, li a {
41	color: #000000;
42	border-bottom: 1px dotted #ffffff;
43}
44
45a:hover {
46	border-bottom: 1px dotted #ff0000;
47}
48
49b, strong, th {
50	font-weight: bold;
51}
52
53li {
54	list-style: inherit;
55	margin-left: 1em;
56}
57
58ul li {
59	list-style-position: outside;
60	list-style-type: disc;
61}
62
63select {
64	font-size: 80%;
65}
66
67h1, h2, h3, h4, h5 {
68  font-family: 'Yanone Kaffeesatz', Arial, sans;
69	color: #111133;
70	font-weight: bold;
71	margin-top: 0.5em;
72	margin-bottom: 0.25em;
73}
74
75h1 a, h2 a, h3 a, h4 a, h5 a {
76	color: #111133;
77}
78
79h2 {
80	font-size: 200%;
81	margin-top: 0;
82}
83
84h3 {
85	font-size: 150%;
86}
87
88h4 {
89	font-size: 120%;
90}
91
92h5,td {
93	font-size: 100%;
94}
95
96table {
97	margin-top: 0.5em;
98	margin-bottom: 0.5em;
99}
100
101table, tr, th, td {
102	text-align: left;
103	vertical-align: top;
104	border: 1px dashed #ffffff;
105}
106
107th, td {
108	padding: 0.25em;
109}
110
111.small {
112	font-size: 80%;
113}
114
115.right {
116	float: right;
117	text-align: right;
118}
119
120.hyphen {
121	color: #ff0000;
122	font-weight: bold;
123}
124
125sub.tex {
126	position: relative;
127	font-size: 100%;
128	top: 0.2em;
129}
130
131#hd, #bd, #ft {
132	width: 90%;
133	position: fixed;
134}
135
136#hd {
137	top: 0;
138	height: 5em;
139	border-bottom: 1px dashed #ffffff;
140}
141
142#bd {
143	top: 6em;
144	bottom: 2em;
145}
146
147#ft {
148	bottom: 0;
149	height: 1.5em;
150	border-top: 1px dashed #ffffff;
151}
152
153#hd img {
154	max-height: 2em;
155}
156
157#content {
158	position: relative;
159	height: 100%;
160	overflow: auto;
161	padding-right: 0.5em;
162}
163
164#navigation {
165	text-align: left;
166	position: relative;
167	bottom: -0.5em;
168}
169
170#navigation a {
171	float: left;
172	color: #000000;
173	border-right: 1px dashed #ffffff;
174	padding: 0 0.25em 0.25em 0.25em;
175}
176
177#navigation a:first-child {
178	border-left: 1px dashed #ffffff;
179}
180
181#navigation a:hover {
182	border-bottom: none;
183	background-color: #eeeeff;
184}
185
186#demo_example {
187	width: 50%;
188	margin-right: 1em;
189	float: left;
190	font-family: Times, serif;
191}
192
193