1html {
2  padding:0px;
3  margin:0px;
4}
5
6body {
7  background-color: #fff;
8  font-family: Verdana, Arial, SunSans-Regular, Sans-Serif;
9  color: #000;
10  padding:0px;
11  margin:0px;
12  font-size: small;
13}
14
15#job img { border:1px solid #DDDDDD; }
16#job:hover img {   border:1px solid #8888EE; }
17
18p, h2, pre {
19 margin: 0px;
20 padding-top: 5px;
21 padding-bottom: 5px;
22 /*padding-left: 1ex;*/
23 /*padding: 5px 20px 5px 20px; */
24}
25
26p.rm {
27 padding-top: 0px;
28 padding-bottom: 0px;
29}
30
31a {
32 color: #4183c4;
33 /*font-size: smaller;*/
34 background-color:transparent;
35 text-decoration: none;
36}
37
38#content a:hover {
39 text-decoration: underline;
40}
41
42.source {
43  border-top: 1px solid #DDDDDD;
44  border-bottom: 1px solid #DDDDDD;
45  background:#f5f5f5;
46  font-family: Courier, "MS Courier New", Prestige, Everson Monocourrier, monospace;
47  padding-bottom: 0.5ex;
48  padding-top: 0.5ex;
49  padding-left: 1ex;
50
51  margin-left: 0ex;
52  margin-top: 0.5ex;
53  margin-bottom: 0.5ex;
54  white-space: pre;
55
56  -webkit-border-radius: 3px;
57  -moz-border-radius: 3px;
58  border-radius: 3px;
59}
60
61pre {
62 background-color:transparent;
63 font-family: Monaco, Andale Mono, Courier New, monospace;
64}
65
66.alignright {
67 margin-top: 0;
68 text-align: right;
69 font-size: 10px;
70}
71
72h1, h2, h3, h4 {
73  color: #333;
74}
75
76h2 {
77  padding-top:10px;
78  background-color: transparent;
79  font-weight: 900;
80  font-size: x-large;
81}
82
83h3 {
84  padding-top: 5px;
85  background-color: transparent;
86  font-weight: normal;
87  font-size: large;
88}
89
90h4 {
91  padding-top:5px;
92  background-color: transparent;
93  font-weight: normal;
94  font-size: large;
95}
96
97table.footer {
98  width: 100%;
99}
100
101.footer {
102  text-align: right;
103  color: #564b47;
104  background-color: #fff;
105  padding:0px;
106  border-top:  1px solid #CCCCCC;
107  margin-top: 3ex;
108	font-size: smaller;
109}
110
111
112strong {
113  /*font-size: 13px;*/
114  font-weight: bold;
115}
116
117/*  positioning-layers static and absolute */
118
119#breadcrumbs {
120	padding: 3px 10px 3px 10px;
121  margin: 0px 4px 0px 4px;
122	font-size: small;
123	border: 1px solid #CCCCCC;
124	/*border-bottom: 1px solid #aaa;
125  /* background-color: #ccc; lime;
126  border-color: #663300;*/
127	background-color: #ffd0a0;
128	/*max-width: 77em;*/
129}
130
131#left {
132  position: absolute;
133  left: 0px;
134  width: 15em;
135  margin: 4px 0px 0px 4px;
136  padding: 0px;
137  font-size: 80%;
138  background-color: #ffffff;
139}
140
141.menuGroup {
142  border: 1px solid #cccccc;
143  background-color: #fff8e8;
144  color: #564b47;
145  border: 1px solid #cccccc;
146  -webkit-border-radius: 3px;
147  -moz-border-radius: 3px;
148  border-radius: 3px;
149}
150
151.menuGroup a {
152  display: block;
153  width: 95.5%;
154  margin: 0px;
155  padding: 2px;
156  border: solid 1px #fff8e8;
157  color: #0066cc;
158  text-decoration: none;
159}
160
161.menuGroup a:hover {
162  border: solid 1px #FFFFFF;
163  background-color: #3333CC;
164  color: #ffffff;
165  -webkit-border-radius: 3px;
166  -moz-border-radius: 3px;
167  border-radius: 3px;
168}
169
170.pub {
171  text-align: center;
172}
173
174#left .pub a:hover {
175  background-color: transparent;
176  border: solid 0px #FFFFFF;
177}
178
179#left a:hover, #right a:hover {
180  border: solid 1px #FFFFFF;
181  background-color: #3333CC;
182  color: #ffffff;
183  -webkit-border-radius: 3px;
184  -moz-border-radius: 3px;
185  border-radius: 3px;
186}
187
188#left div.jobadd {
189   font-size: 160%;
190  color: #fff;
191  margin: 0px;
192  padding: 1ex;
193
194  text-align: center;
195  -webkit-border-radius: 3px;
196  -moz-border-radius: 3px;
197  border-radius: 3px;
198
199  background-image: -ms-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%);
200  background-image: -moz-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%);
201  background-image: -o-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%);
202  background-image: -webkit-gradient(linear, right bottom, left top, color-stop(0, #FFBB55), color-stop(1, #FF8822));
203  background-image: -webkit-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%);
204  background-image: linear-gradient(to top left, #FFBB55 0%, #FF8822 100%);
205}
206
207#left div.jobadd a, div.jobadd a:hover {
208  background-color: transparent;
209  color: #fff;
210  border-width: 0px;
211}
212
213#right {
214  position: absolute;
215  right: 0px;
216  width: 14em;
217  color: #564b47;
218  margin: 4px 4px 0px 0px;
219  padding: 0px;
220  background-color: #ffffff;
221  border: 1px solid #cccccc;
222  font-size: 80%;
223}
224
225p.menu_header {
226  margin: 0px;
227  padding: 2px;
228  font-weight: normal;
229  background-color: #ffd0a0;
230  border-top: solid 1px #CCCCCC;
231  border-bottom: solid 1px #CCCCCC;
232}
233
234#content {
235  margin: 0px 12em 0px 16em;
236  padding: 0px 2em 0px 0px;
237  background-color: #ffffff;
238}
239
240
241#content img {
242	border:none;
243	margin-left: auto;
244	margin-right: auto;
245	display: block;
246}
247
248.author {
249	text-align: left;
250	font-weight: bold;
251}
252
253.definition {
254	padding-left: 5px;
255	padding-right: 5px;
256	margin: 5px 50px 5px 50px;
257	text-align: justify;
258	background-color: #E6E64C;
259}
260
261.deftitle {
262	font-weight: bold;
263}
264
265.big {
266  font-size: 130%;
267}
268
269.green {
270	color: green;
271}
272.blue {
273	color: blue;
274}
275
276.red {
277	color: red;
278}
279
280.bold {
281	font-weight: bold;
282}
283
284.redBold {
285	color: red;
286	font-weight: bold;
287}
288.greenBold {
289	color: green;
290  font-weight: bold;
291}
292
293code {
294	font-family: Courier, monospace;
295}
296
297
298.option {
299  border: 1px solid black;
300  font-family: Arial, sans-serif;
301}
302.highlight {
303  width: 18em;
304  float: right;
305  display: inline;
306  font-size: 110%;
307
308  border: 2px solid #711;
309  -webkit-border-radius: 4px;
310  -moz-border-radius: 4px;
311  border-radius: 4px;
312  background:#FFE0B0;
313  padding-top: 1ex;
314  padding-left: 1ex;
315  padding-right: 1ex;
316  padding-bottom: 1ex;
317  margin-left: 1em;
318  margin-right: 0em;
319  margin-bottom: 1ex;
320}
321
322
323.survey {
324  font-weight: bolder;
325  font-size: larger;
326
327  border:1px solid #cccccc;
328  background:#FFCC99;
329  padding-left: 1ex;
330  padding-right: 1ex;
331}
332/* ========== body table ============ */
333table.bodyTable {
334	padding: 0px;
335	margin-left: -2px;
336	margin-right: -2px;
337}
338
339table.bodyTable th {
340	color: white;
341	background-color: #bbb;
342	font-weight: bold;
343}
344
345
346table.bodyTable td {
347  padding-left: 0.5ex;
348  padding-bottom: 0.5ex;
349}
350
351
352/* apply to tr elements of tables which are both bodytable and dark */
353table[class="bodyTable dark"] tr {
354	background-color: #ddd;
355}
356
357/* apply to tr elements of tables which are both bodytable and dark */
358table[class="bodyTable properties"] tr {
359	vertical-align: top;
360}
361
362table.bodyTable tr.a {
363	background-color: #ddd;
364}
365
366table.bodyTable tr.b {
367	background-color: #eee;
368}
369
370table.bodyTable tr.alt {
371	background-color: #eee;
372}
373
374.striped tr:nth-child(odd) td {
375  background-color: #f9f9f9;
376}
377.striped td {
378  background-color: #f0f0f0;
379}
380
381/* EOF =============== bodyTable =============== */
382
383.label {
384  padding: 1px 3px 2px;
385  font-size: 9.75px;
386  font-weight: bold;
387  color: #ffffff;
388  text-transform: uppercase;
389  white-space: nowrap;
390  background-color: #bfbfbf;
391  -webkit-border-radius: 3px;
392  -moz-border-radius: 3px;
393  border-radius: 3px;
394}
395.label.notice {
396  background-color: #62cffc;
397}
398
399
400/* ------------------------------------ */
401
402dt {
403  border-top: 2px solid #888888;
404  color: #333;
405  padding-bottom: 1ex;
406  padding-top: 1ex;
407  font-weight: bold;
408}
409dd {
410  margin-top: 1ex;
411  margin-bottom: 1ex;
412}
413
414/* ------------------------------------ */
415.anchor { display:none; }
416
417h1 .anchor:before {content:url(anchor24.png);}
418h2 .anchor:before {content:url(anchor20.png);}
419h3 .anchor:before {content:url(anchor16.png);}
420h4 .anchor:before {content:url(anchor12.png);}
421td .anchor:before {content:url(anchor12.png);}
422dt .anchor:before {content:url(anchor12.png);}
423
424h1:hover .anchor { margin-left: -24px; }
425h2:hover .anchor { margin-left: -20px; }
426h3:hover .anchor { margin-left: -16px; }
427h4:hover .anchor { margin-left: -12px; }
428td:hover .anchor { margin-left: -12px; }
429dt:hover .anchor { margin-left: -12px; }
430
431h1:hover .anchor,
432h2:hover .anchor,
433h3:hover .anchor,
434h4:hover .anchor,
435td:hover .anchor,
436dt:hover .anchor {
437  display: inline-block;
438  text-decoration: none;
439}
440
441
442/* ------------ twitter button ------- */
443.twitter_button {
444  vertical-align: text-bottom;
445  padding-top: 3px;
446  padding-right: 16px;
447  float: left;
448  height: 18px;div
449  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5);
450  white-space: nowrap;
451  background-color: white;
452  background-image: -moz-linear-gradient(top, #ffffff, #dedede);
453  background-image: -webkit-gradient(linear, left top, left bottom, from(#ffffff), to(#dedede));
454  background-image: -ms-linear-gradient(top, #ffffff, #dedede);
455  background-image: linear-gradient(top, #ffffff, #dedede);
456  background-image: -o-linear-gradient(top, #ffffff, #dedede);
457  border: #CCC solid 1px;
458  -webkit-border-radius: 3px;
459     -moz-border-radius: 3px;
460          border-radius: 3px;
461}
462