Subversion-Projekte lars-tiefland.prado

Revision

Details | Letzte Änderung | Log anzeigen | RSS feed

Revision Autor Zeilennr. Zeile
1 lars 1
html
2
{
3
	background-image: url('mantisbg.jpg');
4
	background-repeat: no-repeat;
5
	background-position: top right;
6
	background-color: white;
7
}
8
 
9
body {
10
	font-family: 'Lucida Grande', Verdana, Geneva, Lucida, Helvetica, Arial, sans-serif;
11
	font-weight:normal;
12
	font-size:10pt;
13
	color:black;
14
	margin:0px 0px 0px 0px;
15
	padding:0px;
16
}
17
 
18
h1, h2, h3, h4
19
{
20
	color: #333;
21
	margin-bottom: 0;
22
}
23
 
24
h1
25
{
26
	padding-bottom: 3px;
27
	border-bottom: 1px solid #ccc;
28
}
29
 
30
h1 {
31
	font-size:14pt;
32
}
33
 
34
h2 {
35
	font-size:12pt;
36
}
37
 
38
h3 {
39
	font-size:10pt;
40
	font-weight:bold;
41
}
42
 
43
a
44
{
45
    color: #cc3333;
46
}
47
 
48
#header {
49
 
50
	font-size:30px;
51
	font-weight:bold;
52
	text-align: right;
53
	color: #666;
54
	height:100px;
55
	background-image: url('pradologo.gif');
56
	background-repeat: no-repeat;
57
}
58
 
59
#header div.title
60
{
61
   display: none;
62
}
63
 
64
#header div.image
65
{
66
    display: block;
67
    float: right;
68
    width: 757px;
69
    height: 100px;
70
    background-image: url('mantis.jpg');
71
    background-repeat: no-repeat;
72
    background-position: top right;
73
}
74
 
75
 
76
.languages
77
{
78
	text-align: right;
79
	margin: 0.5em 1em;
80
}
81
 
82
.languages ul, .languages li
83
{
84
	margin: 0; padding: 0;
85
	list-style: none;
86
	display: inline;
87
}
88
 
89
.languages a.active
90
{
91
	color: black;
92
	text-decoration: none;
93
}
94
 
95
.mainmenu {
96
	padding:10px;
97
	padding-right:10px;
98
	background:#EDEDED;
99
	border-bottom: 1px solid #A6A6A6;
100
	border-top: 1px solid #DCDCDC;
101
	color:white;
102
	text-align:right;
103
	font-size: 9pt;
104
}
105
 
106
.mainmenu a {
107
	color:#737373;
108
	text-decoration:none;
109
}
110
 
111
.mainmenu a:hover {
112
	color: #FF0000;
113
}
114
 
115
#toc {
116
	background-color: #F3F3F3;
117
	width:220px;
118
	padding:0px 10px 0px 10px;
119
}
120
 
121
#content {
122
	padding: 1em 1em 1em 1em;
123
	line-height: 135%;
124
}
125
 
126
#footer {
127
	clear:both;
128
	color: gray;
129
	font-size:8pt;
130
	text-align:center;
131
	margin-top:25px;
132
	padding:10px;
133
}
134
 
135
.topic {
136
	font-size: 9pt;
137
	padding: 0px 0px 0px 0px;
138
}
139
 
140
.topic div {
141
    background-image: url('arrowdown.gif');
142
    background-repeat: no-repeat;
143
    background-position: left center;
144
    margin: 0px;
145
	font-size: 8pt;
146
	font-weight:bold;
147
	color:#2A480A;
148
	padding: 5px;
149
	padding-left: 15px;
150
	border-top: 1px solid #fff;
151
	border-bottom: 1px solid #E2E2E2;
152
}
153
 
154
.topic ul
155
{
156
    margin: 0px;
157
    padding: 0px;
158
}
159
 
160
.topic ul li
161
{
162
    list-style: none;
163
    margin: 0px;
164
    padding: 5px;
165
	padding-left: 15px;
166
	border-bottom: 1px dotted #D8D8D8;
167
}
168
 
169
.topic a {
170
	color:#4F811A;
171
	font-size: 8pt;
172
	text-decoration: none;
173
}
174
 
175
.topic a:hover {
176
	color:#2A480A;
177
}
178
 
179
.source {
180
	padding: 0.5em;
181
	border-style:solid;
182
	border-width:1px;
183
	border-color:#eeeeee;
184
	background-color:#ffffee;
185
	font-family: "Courier New", Courier, mono;
186
	margin: 0.2em;
187
}
188
 
189
.cli
190
{
191
	color: white;
192
	background-color: #555;
193
}
194
 
195
.source pre {
196
	font-family: "Courier New", Courier, mono;
197
	margin: 0;
198
}
199
 
200
.runbar
201
{
202
	margin: 1em 0 1em 0;
203
}
204
 
205
.runbar a:link, .runbar a:visited {
206
	background-color:#E2E2E2;
207
	font-size: 12px;
208
	font-weight: normal;
209
	padding: 3px;
210
	padding-left: 6px;
211
	padding-right: 6px;
212
	border-top: 1px solid white;
213
	border-left: 1px solid white;
214
	border-bottom: 1px solid #aaaaaa;
215
	border-right: 1px solid #aaaaaa;
216
	text-decoration: none;
217
}
218
 
219
.runbar a:link.active, .runbar a:visited.active, .runbar a:hover {
220
	background-color:#E2E2E2;
221
	font-size: 12px;
222
	font-weight: normal;
223
	padding: 3px;
224
	padding-left: 6px;
225
	padding-right: 6px;
226
	border-top: 1px solid #aaaaaa;
227
	border-left: 1px solid #aaaaaa;
228
	border-bottom: 1px solid white;
229
	border-right: 1px solid white;
230
}
231
 
232
#sourceList {
233
	background-color:#E2E2E2;
234
	margin:10px 10px 0px 10px;
235
	padding:10px;
236
	border:1px solid silver;
237
}
238
 
239
#sourceView {
240
	font-family: "Courier New", Courier, mono;
241
	background-color:#ffffee;
242
	margin:5px 10px 10px 10px;
243
	border:1px solid silver;
244
}
245
 
246
code {
247
	font-family: "Courier New", Courier, mono;
248
}
249
 
250
tt {
251
	font-family: "Courier New", Courier, mono;
252
	border-bottom: 1px dotted silver;
253
}
254
 
255
.sampleheader {
256
	font-size:30px;
257
	font-weight:bold;
258
	text-align: right;
259
	color: #666;
260
	height:100px;
261
	background-image: url('pradologo.gif');
262
	background-repeat: no-repeat;
263
}
264
 
265
.sampleheader div.title
266
{
267
   display: none;
268
}
269
 
270
.sampleheader div.image
271
{
272
    display: block;
273
    float: right;
274
    width: 900px;
275
    height: 100px;
276
    background-image: url('mantissample.jpg');
277
    background-repeat: no-repeat;
278
    background-position: top right;
279
}
280
 
281
.samplemenu
282
{
283
    padding:10px;
284
	padding-right:10px;
285
	background:#EDEDED;
286
	border-bottom: 1px solid #A6A6A6;
287
	border-top: 1px solid #DCDCDC;
288
	text-align:right;
289
	font-size: 9pt;
290
}
291
 
292
.samplemenu a {
293
	color:#737373;
294
	text-decoration:none;
295
}
296
 
297
.samplemenu a:hover {
298
	color: #FF0000;
299
}
300
 
301
.sampleheader a {
302
	font-size:30px;
303
	font-weight:bold;
304
	color: #666;
305
	text-decoration: none;
306
}
307
 
308
.samplepanel {
309
	margin: 0px;
310
	border: 1px solid silver;
311
	padding: 10px;
312
	margin-bottom:10px;
313
}
314
 
315
.sampletitle {
316
	width: 100%;
317
	border-bottom:1px solid silver;
318
	font-weight:bold;
319
	margin-bottom:5px;
320
}
321
 
322
.sampletable {
323
	width: 100%;
324
	border-collapse: collapse;
325
}
326
 
327
td.samplenote {
328
	width: 300px;
329
	text-align: right;
330
	background: #BFE4FF;
331
	border: 1px solid silver;
332
	padding: 5px;
333
	vertical-align: top;
334
}
335
 
336
td.sampleaction {
337
	background: #ffffee;
338
	border: 1px solid silver;
339
	padding: 5px;
340
	vertical-align: top;
341
}
342
 
343
 
344
dl
345
{
346
	margin: 0 2em;
347
}
348
 
349
dt
350
{
351
	font-weight: bold;
352
	margin-bottom: 0.15em;
353
}
354
 
355
dd
356
{
357
	margin-left: 2em;
358
	margin-bottom: 0.75em;
359
}
360
 
361
.quicksearch .search .searchBox
362
{
363
	width: 25em;
364
}
365
 
366
.quicksearch .search
367
{
368
	text-align: center;
369
	padding: 2em;
370
}
371
 
372
.searchItem
373
{
374
	margin-top: 20px;
375
	margin-left: 20px;
376
	margin-right: 20px;
377
}
378
 
379
.searchItemBody
380
{
381
	margin-top: 0em;
382
	font-size: 0.9em;
383
}
384
 
385
.searchItemLink
386
{
387
	font-size: 1.05em;
388
}
389
 
390
.searchterm
391
{
392
	font-weight: bold;
393
}
394
 
395
.searchAPIItem
396
{
397
	margin-top: 5px;
398
	margin-left: 20px;
399
	margin-right: 20px;
400
}
401
 
402
.searchHeader, .emptyResult
403
{
404
	margin-top: 30px;
405
}
406
 
407
.empty_search_result
408
{
409
	text-align: center;
410
	margin: 30px;
411
}
412
 
413
/** Comments **/
414
#comments
415
{
416
	margin: 10px;
417
}
418
 
419
.comment_header
420
{
421
	border-bottom: 1px solid silver;
422
}
423
 
424
.comment_item
425
{
426
	padding: 10px;
427
	border: 1px solid silver;
428
	margin: 0 10px 10px 10px;
429
}
430
 
431
.comment_item .number
432
{
433
	float: right;
434
	font-size: 1.5em;
435
	font-weight: bold;
436
	color: silver;
437
}
438
 
439
.comment_item1
440
{
441
	background-color: #EDEDED;
442
}
443
 
444
.comment_item .email
445
{
446
	font-weight: bold;
447
	display: block;
448
}
449
 
450
.comment_item .date
451
{
452
	font-size: 0.85em;
453
	display: block;
454
	border-bottom: 1px dotted silver;
455
}
456
 
457
.comment_item .comment
458
{
459
	padding: 10px;
460
}
461
 
462
.add_comments
463
{
464
	margin-top: 2em;
465
}
466
 
467
.add_comments .comment_email
468
{
469
	margin-bottom: 5px;
470
}
471
 
472
.add_comments .comment_email input
473
{
474
	width: 25em;
475
}
476
 
477
.add_comments .comment_content textarea
478
{
479
	width: 75%;
480
	height: 200px;
481
	padding: 5px;
482
}
483
 
484
.add_comments .comment_email label, .add_comments .comment_content label
485
{
486
	width: 8em;
487
	float: left;
488
	text-align: right;
489
	padding-right: 5px;
490
}
491
 
492
.add_comments .add_comment
493
{
494
	padding-left: 8.2em;
495
	padding-top: 0.5em;
496
}
497
 
498
.add_comments .please_add
499
{
500
	padding-left: 8.2em;
501
}
502
 
503
.add_comments h3, .comment_added h3
504
{
505
	border-bottom: 1px solid silver;
506
}
507
 
508
.comment_preview
509
{
510
	margin: 10px;
511
	padding: 10px;
512
	border: 1px solid silver;
513
}
514
 
515
.comment_preview .comment
516
{
517
	padding: 10px;
518
}
519
 
520
.comment_added
521
{
522
	margin-top: 3em;
523
	border-top: 1px dotted silver;
524
	padding: 10px;
525
}
526
 
527
.comment_added .comment
528
{
529
	padding: 10px;
530
	margin-top: 10px;
531
}
532
 
533
.comment_added .thank
534
{
535
	background-color: #ffffcc;
536
	padding: 20px;
537
}
538
 
539
pre code
540
{
541
	display: block;
542
	padding: 0.5em;
543
	border-style:solid;
544
	border-width:1px;
545
	border-color:#eeeeee;
546
	background-color:#ffffee;
547
	font-family: "Courier New", Courier, mono;
548
	margin: 0.2em;
549
}
550
 
551
div.tip, div.info, div.note
552
{
553
	border-top:2px solid #0cf;
554
	border-bottom:2px solid #0cf;
555
	padding:1em 1em 1em 40px;
556
	margin: 1em 2em;
557
	border-color: #32CD32;
558
	background-color: #EBFFCE;
559
	background-repeat: no-repeat;
560
	background-position: 10px 50%;
561
	background-image: url(lightbulb.gif);
562
}
563
 
564
div.info
565
{
566
	border-color: #87CEFA;
567
	background-color: #EEF9FD;
568
	background-image: url(information.gif);
569
}
570
 
571
div.note
572
{
573
	border-color: #FFD700;
574
	background-color: #FFF5E1;
575
	background-image: url(error.gif);
576
}
577
 
578
div b.tip
579
{
580
	font-size: 1em;
581
	padding-right: 0.5em;
582
}
583
 
584
#content img.figure, #content p img.figure
585
{
586
	display: block;
587
	margin: 1em auto;
588
	background-color: White;
589
	padding: 15px;
590
	border: 1px solid #eee;
591
}
592
 
593
div.caption
594
{
595
	text-align: center;
596
}
597
 
598
table.tabular, table.tabular td, table.tabular th
599
{
600
	border: 1px solid #ccc;
601
	border-collapse: collapse;
602
	padding: 0.3em;
603
}
604
 
605
table.tabular
606
{
607
	margin: 1em auto;
608
	width: 80%;
609
}
610
 
611
table.tabular td
612
{
613
	padding: 0.75em;
614
}
615
 
616
 
617
div.last-modified
618
{
619
	font-size: 0.8em;
620
	color: #999;
621
	margin-top: 5em;
622
	margin-bottom: -3em;
623
}
624
 
625
#comment-nav li a#show-comment-link,
626
#comment-nav li a#add-comment-link,
627
#comment-nav li a#all-comments-link
628
{
629
	background-image: url(comment.gif);
630
	background-repeat: no-repeat;
631
	background-position: 7px 50%;
632
	padding-left: 30px;
633
}
634
 
635
#comment-nav li a#add-comment-link
636
{
637
	background-image: url(comment_add.gif);
638
}
639
 
640
#comment-nav li a#all-comments-link
641
{
642
	background-image: url(comments.gif);
643
}
644
 
645
 
646
 
647
.start-page
648
{
649
	clear: both;
650
	height: 300px;
651
}
652
 
653
.start-block
654
{
655
	width: 230px;
656
	height: 250px;
657
	float: left;
658
	padding: 0 15px;
659
	margin-bottom: 20px;
660
}
661
 
662
.start-page .examples
663
{
664
	border-left: 1px solid #ccc;
665
	border-right: 1px solid #ccc;
666
}
667
 
668
img.output
669
{
670
	padding: 0.5em;
671
	border-style:solid;
672
	border-width:1px;
673
	border-color:#eeeeee;
674
	background-color:#ffffee;
675
	margin: 0.2em;
676
}