annotate www/octave-forge.css @ 2718:78f956ba9369 octave-forge

Compliant to strict XHTML 1.0, all except the code produced by makeinfo
author adb014
date Tue, 17 Oct 2006 19:12:37 +0000
parents faf6ae737ece
children d0b400de8b3f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
1 /* Regular elements */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
2 body {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
3 background: white;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
4 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
5 font-family: sans-serif;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
6 font-weight: normal;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
7 font-size: medium;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
8 min-width: 500px;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
9 max-width: 950px;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
10 margin-left: 3%;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
11 margin-right: 15%;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
12 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
13
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
14 a:link {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
15 background-color: inherit;
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
16 color: #4e9a06;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
17 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
18
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
19 a:visited {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
20 background-color: inherit;
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
21 color: #73d216;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
22 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
23
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
24
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
25 /* the navigation choices at the bottom of the page. */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
26
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
27 div#nav {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
28 background: white;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
29 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
30 float: left;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
31 font-family: sans-serif;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
32 font-size: 0.8em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
33 margin: 1em 0 0 1em;
2664
eedc84f2b623 Remove jitter in sidebar on mouse click
adb014
parents: 2593
diff changeset
34 padding: 1px;
2503
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
35 position: fixed;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
36 /*text-align: left;*/
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
37 width: 10em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
38 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
39
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
40 div#nav a {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
41 background-color: #73d216;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
42 border: 1px solid;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
43 border-color: #4e9a06;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
44 display: block;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
45 padding: 0.2em 0.5em 0.2em 0.5em ;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
46 text-decoration: none;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
47 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
48 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
49
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
50 div#nav a:hover {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
51 background-color: #4e9a06;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
52 color: inherit;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
53 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
54
2503
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
55 /* the navigation choices for function reference. */
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
56
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
57 div#nav2 {
2511
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
58 float: right;
2718
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
59 background-color: #73d216;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
60 color: black;
2511
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
61 padding: 3px;
2503
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
62 }
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
63
2718
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
64 /* The style for the function refeence sections */
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
65 .func {
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
66 background-color: inherit;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
67 color: inherit;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
68 text-align: left;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
69 display: block;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
70 float: left;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
71 }
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
72
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
73 .flink {
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
74 background-color: inherit;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
75 color: inherit;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
76 text-align: right;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
77 display: block;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
78 float: right;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
79 }
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
80
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
81 .ftext {
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
82 margin-left: 5ex;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
83 margin-bottom: 2ex;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
84 clear: both;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
85 }
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
86
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
87 /* the page content */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
88
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
89 div#content {
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
90 display: block;
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
91 margin-left: 11em;
2511
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
92 margin-top: 3em;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
93 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
94
2718
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
95 .sf_logo {
2492
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
96 text-align: right;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
97 position: relative;
2718
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
98 display: block;
78f956ba9369 Compliant to strict XHTML 1.0, all except the code produced by makeinfo
adb014
parents: 2700
diff changeset
99 float: right;
2492
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
100 top: 3em;
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
101 }
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
102
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
103 /* the title bar */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
104
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
105 div#title {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
106 width: 100%;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
107 clear: both;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
108 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
109
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
110 div#title h1 {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
111 background-color: #ffffff;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
112 border-bottom: 4px solid #73d216;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
113 font-size: xx-large;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
114 color: #73d216;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
115 padding: 0;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
116 margin: 0;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
117 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
118
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
119 /* The blue title bar on non-main pages */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
120
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
121 /*
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
122 .header {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
123 color: #ffffff;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
124 background-color: #10a0ff;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
125 font-family: arial,sans-serif;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
126 padding: 0;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
127 font-size: medium;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
128 font-weight: bold;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
129 border: 3px solid #10a0ff;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
130 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
131 */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
132
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
133 /* Changes for Octave Wiki */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
134
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
135 h1 {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
136 background-color: #3465a4;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
137 color: #ffffff;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
138 font-size: xx-large;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
139 padding: 2em;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
140 margin: 8em;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
141 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
142
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
143 h3.question {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
144 font-size: small;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
145 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
146
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
147 h4, h5, h6 {
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
148 background-color: inherit;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
149 color: #3465a4;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
150 font-size: large;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
151 padding: 2px;
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
152 margin-top: 5px;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
153 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
154
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
155 /*
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
156 code {
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
157 padding: 1px;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
158 margin-left: 1em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
159 border: 1px solid;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
160 border-color: #babdb6;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
161 background-color: #d3d7cf;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
162 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
163 }
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
164 */
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
165
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
166 table#main_package_table {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
167 background-color: #d3d7cf;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
168 color: inherit;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
169 border: 1px solid;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
170 border-color: #babdb6;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
171 margin: 1em 0 0;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
172 padding: 0.2em 0.5em 0.2em 0.2em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
173 text-decoration: none;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
174 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
175
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
176 div#description_box {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
177 padding-top: 1em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
178 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
179
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
180 div.package {
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
181 margin-top: 0.2em;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
182 background-color: #d3d7cf;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
183 border: 1px solid;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
184 border-color: #babdb6;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
185 padding: 0.2em 0.2em 0;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
186 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
187 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
188
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
189 a.package_link {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
190 background-color: inherit;
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
191 color: black;
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
192 font-weight: bold;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
193 font-size: 80%;
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
194 text-decoration: none;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
195 }
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
196
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
197 a.package_head_link {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
198 background-color: inherit;
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
199 color: black;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
200 text-decoration: none;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
201 }
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
202
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
203 table.package {
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
204 table-layout: fixed;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
205 width: 100%;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
206 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
207
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
208 p.package_link a {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
209 background-color: inherit;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
210 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
211 text-decoration: none;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
212 }
2593
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
213
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
214 div.see_also {
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
215 color: black;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
216 background-color: #d3d7cf;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
217 font-family: sans-serif;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
218 font-weight: bold;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
219 }
2690
198f032f1c98 Bold font of <dt> tag in css
adb014
parents: 2685
diff changeset
220
198f032f1c98 Bold font of <dt> tag in css
adb014
parents: 2685
diff changeset
221 dt {
2700
faf6ae737ece fix validation errors
adb014
parents: 2690
diff changeset
222 font-weight: bold;
2690
198f032f1c98 Bold font of <dt> tag in css
adb014
parents: 2685
diff changeset
223 }