← Back to branch summary

~marcustomlinson/dspatch/2.62

« back to all changes in this revision

Viewing changes to doc/html/doxygen.css

  • Committer: Marcus Tomlinson
  • Date: 2014-01-19 08:27:33 UTC
  • Revision ID: marcus.tomlinson@canonical.com-20140119082733-6houoh1k0t5on3s7
Introduced CMakeLists

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/html/doxygen.css
1
 
/* The standard CSS for doxygen */
2
 
 
3
 
body, table, div, p, dl {
4
 
        font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
5
 
        font-size: 13px;
6
 
        line-height: 1.3;
7
 
}
8
 
 
9
 
/* @group Heading Levels */
10
 
 
11
 
h1 {
12
 
        font-size: 150%;
13
 
}
14
 
 
15
 
.title {
16
 
        font-size: 150%;
17
 
        font-weight: bold;
18
 
        margin: 10px 2px;
19
 
}
20
 
 
21
 
h2 {
22
 
        font-size: 120%;
23
 
}
24
 
 
25
 
h3 {
26
 
        font-size: 100%;
27
 
}
28
 
 
29
 
dt {
30
 
        font-weight: bold;
31
 
}
32
 
 
33
 
div.multicol {
34
 
        -moz-column-gap: 1em;
35
 
        -webkit-column-gap: 1em;
36
 
        -moz-column-count: 3;
37
 
        -webkit-column-count: 3;
38
 
}
39
 
 
40
 
p.startli, p.startdd, p.starttd {
41
 
        margin-top: 2px;
42
 
}
43
 
 
44
 
p.endli {
45
 
        margin-bottom: 0px;
46
 
}
47
 
 
48
 
p.enddd {
49
 
        margin-bottom: 4px;
50
 
}
51
 
 
52
 
p.endtd {
53
 
        margin-bottom: 2px;
54
 
}
55
 
 
56
 
/* @end */
57
 
 
58
 
caption {
59
 
        font-weight: bold;
60
 
}
61
 
 
62
 
span.legend {
63
 
        font-size: 70%;
64
 
        text-align: center;
65
 
}
66
 
 
67
 
h3.version {
68
 
        font-size: 90%;
69
 
        text-align: center;
70
 
}
71
 
 
72
 
div.qindex, div.navtab{
73
 
        background-color: #E2E3ED;
74
 
        border: 1px solid #8284B2;
75
 
        text-align: center;
76
 
}
77
 
 
78
 
div.qindex, div.navpath {
79
 
        width: 100%;
80
 
        line-height: 140%;
81
 
}
82
 
 
83
 
div.navtab {
84
 
        margin-right: 15px;
85
 
}
86
 
 
87
 
/* @group Link Styling */
88
 
 
89
 
a {
90
 
        color: #282942;
91
 
        font-weight: normal;
92
 
        text-decoration: none;
93
 
}
94
 
 
95
 
.contents a:visited {
96
 
        color: #333454;
97
 
}
98
 
 
99
 
a:hover {
100
 
        text-decoration: underline;
101
 
}
102
 
 
103
 
a.qindex {
104
 
        font-weight: bold;
105
 
}
106
 
 
107
 
a.qindexHL {
108
 
        font-weight: bold;
109
 
        background-color: #797BAD;
110
 
        color: #ffffff;
111
 
        border: 1px double #60629D;
112
 
}
113
 
 
114
 
.contents a.qindexHL:visited {
115
 
        color: #ffffff;
116
 
}
117
 
 
118
 
a.el {
119
 
        font-weight: bold;
120
 
}
121
 
 
122
 
a.elRef {
123
 
}
124
 
 
125
 
a.code, a.code:visited {
126
 
        color: #4665A2; 
127
 
}
128
 
 
129
 
a.codeRef, a.codeRef:visited {
130
 
        color: #4665A2; 
131
 
}
132
 
 
133
 
/* @end */
134
 
 
135
 
dl.el {
136
 
        margin-left: -1cm;
137
 
}
138
 
 
139
 
.fragment {
140
 
        font-family: monospace, fixed;
141
 
        font-size: 105%;
142
 
}
143
 
 
144
 
pre.fragment {
145
 
        border: 1px solid #ACADCC;
146
 
        background-color: #F9FAFB;
147
 
        padding: 4px 6px;
148
 
        margin: 4px 8px 4px 2px;
149
 
        overflow: auto;
150
 
        word-wrap: break-word;
151
 
        font-size:  9pt;
152
 
        line-height: 125%;
153
 
}
154
 
 
155
 
div.ah {
156
 
        background-color: black;
157
 
        font-weight: bold;
158
 
        color: #ffffff;
159
 
        margin-bottom: 3px;
160
 
        margin-top: 3px;
161
 
        padding: 0.2em;
162
 
        border: solid thin #333;
163
 
        border-radius: 0.5em;
164
 
        -webkit-border-radius: .5em;
165
 
        -moz-border-radius: .5em;
166
 
        box-shadow: 2px 2px 3px #999;
167
 
        -webkit-box-shadow: 2px 2px 3px #999;
168
 
        -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
169
 
        background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
170
 
        background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000);
171
 
}
172
 
 
173
 
div.groupHeader {
174
 
        margin-left: 16px;
175
 
        margin-top: 12px;
176
 
        font-weight: bold;
177
 
}
178
 
 
179
 
div.groupText {
180
 
        margin-left: 16px;
181
 
        font-style: italic;
182
 
}
183
 
 
184
 
body {
185
 
        background-color: white;
186
 
        color: black;
187
 
        margin: 0;
188
 
}
189
 
 
190
 
div.contents {
191
 
        margin-top: 10px;
192
 
        margin-left: 8px;
193
 
        margin-right: 8px;
194
 
}
195
 
 
196
 
td.indexkey {
197
 
        background-color: #E2E3ED;
198
 
        font-weight: bold;
199
 
        border: 1px solid #ACADCC;
200
 
        margin: 2px 0px 2px 0;
201
 
        padding: 2px 10px;
202
 
        white-space: nowrap;
203
 
        vertical-align: top;
204
 
}
205
 
 
206
 
td.indexvalue {
207
 
        background-color: #E2E3ED;
208
 
        border: 1px solid #ACADCC;
209
 
        padding: 2px 10px;
210
 
        margin: 2px 0px;
211
 
}
212
 
 
213
 
tr.memlist {
214
 
        background-color: #E6E6EF;
215
 
}
216
 
 
217
 
p.formulaDsp {
218
 
        text-align: center;
219
 
}
220
 
 
221
 
img.formulaDsp {
222
 
        
223
 
}
224
 
 
225
 
img.formulaInl {
226
 
        vertical-align: middle;
227
 
}
228
 
 
229
 
div.center {
230
 
        text-align: center;
231
 
        margin-top: 0px;
232
 
        margin-bottom: 0px;
233
 
        padding: 0px;
234
 
}
235
 
 
236
 
div.center img {
237
 
        border: 0px;
238
 
}
239
 
 
240
 
address.footer {
241
 
        text-align: right;
242
 
        padding-right: 12px;
243
 
}
244
 
 
245
 
img.footer {
246
 
        border: 0px;
247
 
        vertical-align: middle;
248
 
}
249
 
 
250
 
/* @group Code Colorization */
251
 
 
252
 
span.keyword {
253
 
        color: #008000
254
 
}
255
 
 
256
 
span.keywordtype {
257
 
        color: #604020
258
 
}
259
 
 
260
 
span.keywordflow {
261
 
        color: #e08000
262
 
}
263
 
 
264
 
span.comment {
265
 
        color: #800000
266
 
}
267
 
 
268
 
span.preprocessor {
269
 
        color: #806020
270
 
}
271
 
 
272
 
span.stringliteral {
273
 
        color: #002080
274
 
}
275
 
 
276
 
span.charliteral {
277
 
        color: #008080
278
 
}
279
 
 
280
 
span.vhdldigit { 
281
 
        color: #ff00ff 
282
 
}
283
 
 
284
 
span.vhdlchar { 
285
 
        color: #000000 
286
 
}
287
 
 
288
 
span.vhdlkeyword { 
289
 
        color: #700070 
290
 
}
291
 
 
292
 
span.vhdllogic { 
293
 
        color: #ff0000 
294
 
}
295
 
 
296
 
blockquote {
297
 
        background-color: #F3F3F7;
298
 
        border-left: 2px solid #797BAD;
299
 
        margin: 0 24px 0 4px;
300
 
        padding: 0 12px 0 16px;
301
 
}
302
 
 
303
 
/* @end */
304
 
 
305
 
/*
306
 
.search {
307
 
        color: #003399;
308
 
        font-weight: bold;
309
 
}
310
 
 
311
 
form.search {
312
 
        margin-bottom: 0px;
313
 
        margin-top: 0px;
314
 
}
315
 
 
316
 
input.search {
317
 
        font-size: 75%;
318
 
        color: #000080;
319
 
        font-weight: normal;
320
 
        background-color: #e8eef2;
321
 
}
322
 
*/
323
 
 
324
 
td.tiny {
325
 
        font-size: 75%;
326
 
}
327
 
 
328
 
.dirtab {
329
 
        padding: 4px;
330
 
        border-collapse: collapse;
331
 
        border: 1px solid #8284B2;
332
 
}
333
 
 
334
 
th.dirtab {
335
 
        background: #E2E3ED;
336
 
        font-weight: bold;
337
 
}
338
 
 
339
 
hr {
340
 
        height: 0px;
341
 
        border: none;
342
 
        border-top: 1px solid #38395B;
343
 
}
344
 
 
345
 
hr.footer {
346
 
        height: 1px;
347
 
}
348
 
 
349
 
/* @group Member Descriptions */
350
 
 
351
 
table.memberdecls {
352
 
        border-spacing: 0px;
353
 
        padding: 0px;
354
 
}
355
 
 
356
 
.mdescLeft, .mdescRight,
357
 
.memItemLeft, .memItemRight,
358
 
.memTemplItemLeft, .memTemplItemRight, .memTemplParams {
359
 
        background-color: #F6F6F9;
360
 
        border: none;
361
 
        margin: 4px;
362
 
        padding: 1px 0 0 8px;
363
 
}
364
 
 
365
 
.mdescLeft, .mdescRight {
366
 
        padding: 0px 8px 4px 8px;
367
 
        color: #555;
368
 
}
369
 
 
370
 
.memItemLeft, .memItemRight, .memTemplParams {
371
 
        border-top: 1px solid #ACADCC;
372
 
}
373
 
 
374
 
.memItemLeft, .memTemplItemLeft {
375
 
        white-space: nowrap;
376
 
}
377
 
 
378
 
.memItemRight {
379
 
        width: 100%;
380
 
}
381
 
 
382
 
.memTemplParams {
383
 
        color: #333454;
384
 
        white-space: nowrap;
385
 
}
386
 
 
387
 
/* @end */
388
 
 
389
 
/* @group Member Details */
390
 
 
391
 
/* Styles for detailed member documentation */
392
 
 
393
 
.memtemplate {
394
 
        font-size: 80%;
395
 
        color: #333454;
396
 
        font-weight: normal;
397
 
        margin-left: 9px;
398
 
}
399
 
 
400
 
.memnav {
401
 
        background-color: #E2E3ED;
402
 
        border: 1px solid #8284B2;
403
 
        text-align: center;
404
 
        margin: 2px;
405
 
        margin-right: 15px;
406
 
        padding: 2px;
407
 
}
408
 
 
409
 
.mempage {
410
 
        width: 100%;
411
 
}
412
 
 
413
 
.memitem {
414
 
        padding: 0;
415
 
        margin-bottom: 10px;
416
 
        margin-right: 5px;
417
 
}
418
 
 
419
 
.memname {
420
 
        white-space: nowrap;
421
 
        font-weight: bold;
422
 
        margin-left: 6px;
423
 
}
424
 
 
425
 
.memproto, dl.reflist dt {
426
 
        border-top: 1px solid #8889B6;
427
 
        border-left: 1px solid #8889B6;
428
 
        border-right: 1px solid #8889B6;
429
 
        padding: 6px 0px 6px 0px;
430
 
        color: #11111C;
431
 
        font-weight: bold;
432
 
        text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
433
 
        /* opera specific markup */
434
 
        box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
435
 
        border-top-right-radius: 8px;
436
 
        border-top-left-radius: 8px;
437
 
        /* firefox specific markup */
438
 
        -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
439
 
        -moz-border-radius-topright: 8px;
440
 
        -moz-border-radius-topleft: 8px;
441
 
        /* webkit specific markup */
442
 
        -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
443
 
        -webkit-border-top-right-radius: 8px;
444
 
        -webkit-border-top-left-radius: 8px;
445
 
        background-image:url('nav_f.png');
446
 
        background-repeat:repeat-x;
447
 
        background-color: #D5D6E5;
448
 
 
449
 
}
450
 
 
451
 
.memdoc, dl.reflist dd {
452
 
        border-bottom: 1px solid #8889B6;      
453
 
        border-left: 1px solid #8889B6;      
454
 
        border-right: 1px solid #8889B6; 
455
 
        padding: 2px 5px;
456
 
        background-color: #F9FAFB;
457
 
        border-top-width: 0;
458
 
        /* opera specific markup */
459
 
        border-bottom-left-radius: 8px;
460
 
        border-bottom-right-radius: 8px;
461
 
        box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
462
 
        /* firefox specific markup */
463
 
        -moz-border-radius-bottomleft: 8px;
464
 
        -moz-border-radius-bottomright: 8px;
465
 
        -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
466
 
        background-image: -moz-linear-gradient(center top, #FFFFFF 0%, #FFFFFF 60%, #F3F3F7 95%, #E6E6EF);
467
 
        /* webkit specific markup */
468
 
        -webkit-border-bottom-left-radius: 8px;
469
 
        -webkit-border-bottom-right-radius: 8px;
470
 
        -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
471
 
        background-image: -webkit-gradient(linear,center top,center bottom,from(#FFFFFF), color-stop(0.6,#FFFFFF), color-stop(0.60,#FFFFFF), color-stop(0.95,#F3F3F7), to(#E6E6EF));
472
 
}
473
 
 
474
 
dl.reflist dt {
475
 
        padding: 5px;
476
 
}
477
 
 
478
 
dl.reflist dd {
479
 
        margin: 0px 0px 10px 0px;
480
 
        padding: 5px;
481
 
}
482
 
 
483
 
.paramkey {
484
 
        text-align: right;
485
 
}
486
 
 
487
 
.paramtype {
488
 
        white-space: nowrap;
489
 
}
490
 
 
491
 
.paramname {
492
 
        color: #602020;
493
 
        white-space: nowrap;
494
 
}
495
 
.paramname em {
496
 
        font-style: normal;
497
 
}
498
 
 
499
 
.params, .retval, .exception, .tparams {
500
 
        border-spacing: 6px 2px;
501
 
}       
502
 
 
503
 
.params .paramname, .retval .paramname {
504
 
        font-weight: bold;
505
 
        vertical-align: top;
506
 
}
507
 
        
508
 
.params .paramtype {
509
 
        font-style: italic;
510
 
        vertical-align: top;
511
 
}       
512
 
        
513
 
.params .paramdir {
514
 
        font-family: "courier new",courier,monospace;
515
 
        vertical-align: top;
516
 
}
517
 
 
518
 
 
519
 
 
520
 
 
521
 
/* @end */
522
 
 
523
 
/* @group Directory (tree) */
524
 
 
525
 
/* for the tree view */
526
 
 
527
 
.ftvtree {
528
 
        font-family: sans-serif;
529
 
        margin: 0px;
530
 
}
531
 
 
532
 
/* these are for tree view when used as main index */
533
 
 
534
 
.directory {
535
 
        font-size: 9pt;
536
 
        font-weight: bold;
537
 
        margin: 5px;
538
 
}
539
 
 
540
 
.directory h3 {
541
 
        margin: 0px;
542
 
        margin-top: 1em;
543
 
        font-size: 11pt;
544
 
}
545
 
 
546
 
/*
547
 
The following two styles can be used to replace the root node title
548
 
with an image of your choice.  Simply uncomment the next two styles,
549
 
specify the name of your image and be sure to set 'height' to the
550
 
proper pixel height of your image.
551
 
*/
552
 
 
553
 
/*
554
 
.directory h3.swap {
555
 
        height: 61px;
556
 
        background-repeat: no-repeat;
557
 
        background-image: url("yourimage.gif");
558
 
}
559
 
.directory h3.swap span {
560
 
        display: none;
561
 
}
562
 
*/
563
 
 
564
 
.directory > h3 {
565
 
        margin-top: 0;
566
 
}
567
 
 
568
 
.directory p {
569
 
        margin: 0px;
570
 
        white-space: nowrap;
571
 
}
572
 
 
573
 
.directory div {
574
 
        display: none;
575
 
        margin: 0px;
576
 
}
577
 
 
578
 
.directory img {
579
 
        vertical-align: -30%;
580
 
}
581
 
 
582
 
/* these are for tree view when not used as main index */
583
 
 
584
 
.directory-alt {
585
 
        font-size: 100%;
586
 
        font-weight: bold;
587
 
}
588
 
 
589
 
.directory-alt h3 {
590
 
        margin: 0px;
591
 
        margin-top: 1em;
592
 
        font-size: 11pt;
593
 
}
594
 
 
595
 
.directory-alt > h3 {
596
 
        margin-top: 0;
597
 
}
598
 
 
599
 
.directory-alt p {
600
 
        margin: 0px;
601
 
        white-space: nowrap;
602
 
}
603
 
 
604
 
.directory-alt div {
605
 
        display: none;
606
 
        margin: 0px;
607
 
}
608
 
 
609
 
.directory-alt img {
610
 
        vertical-align: -30%;
611
 
}
612
 
 
613
 
/* @end */
614
 
 
615
 
div.dynheader {
616
 
        margin-top: 8px;
617
 
}
618
 
 
619
 
address {
620
 
        font-style: normal;
621
 
        color: #161623;
622
 
}
623
 
 
624
 
table.doxtable {
625
 
        border-collapse:collapse;
626
 
        margin-top: 4px;
627
 
        margin-bottom: 4px;
628
 
}
629
 
 
630
 
table.doxtable td, table.doxtable th {
631
 
        border: 1px solid #181827;
632
 
        padding: 3px 7px 2px;
633
 
}
634
 
 
635
 
table.doxtable th {
636
 
        background-color: #222338;
637
 
        color: #FFFFFF;
638
 
        font-size: 110%;
639
 
        padding-bottom: 4px;
640
 
        padding-top: 5px;
641
 
}
642
 
 
643
 
table.fieldtable {
644
 
        width: 100%;
645
 
        margin-bottom: 10px;
646
 
        border: 1px solid #8889B6;
647
 
        border-spacing: 0px;
648
 
        -moz-border-radius: 4px;
649
 
        -webkit-border-radius: 4px;
650
 
        border-radius: 4px;
651
 
        -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
652
 
        -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
653
 
        box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
654
 
}
655
 
 
656
 
.fieldtable td, .fieldtable th {
657
 
        padding: 3px 7px 2px;
658
 
}
659
 
 
660
 
.fieldtable td.fieldtype, .fieldtable td.fieldname {
661
 
        white-space: nowrap;
662
 
        border-right: 1px solid #8889B6;
663
 
        border-bottom: 1px solid #8889B6;
664
 
        vertical-align: top;
665
 
}
666
 
 
667
 
.fieldtable td.fielddoc {
668
 
        border-bottom: 1px solid #8889B6;
669
 
        width: 100%;
670
 
}
671
 
 
672
 
.fieldtable tr:last-child td {
673
 
        border-bottom: none;
674
 
}
675
 
 
676
 
.fieldtable th {
677
 
        background-image:url('nav_f.png');
678
 
        background-repeat:repeat-x;
679
 
        background-color: #D5D6E5;
680
 
        font-size: 90%;
681
 
        color: #11111C;
682
 
        padding-bottom: 4px;
683
 
        padding-top: 5px;
684
 
        text-align:left;
685
 
        -moz-border-radius-topleft: 4px;
686
 
        -moz-border-radius-topright: 4px;
687
 
        -webkit-border-top-left-radius: 4px;
688
 
        -webkit-border-top-right-radius: 4px;
689
 
        border-top-left-radius: 4px;
690
 
        border-top-right-radius: 4px;
691
 
        border-bottom: 1px solid #8889B6;
692
 
}
693
 
 
694
 
 
695
 
.tabsearch {
696
 
        top: 0px;
697
 
        left: 10px;
698
 
        height: 36px;
699
 
        background-image: url('tab_b.png');
700
 
        z-index: 101;
701
 
        overflow: hidden;
702
 
        font-size: 13px;
703
 
}
704
 
 
705
 
.navpath ul
706
 
{
707
 
        font-size: 11px;
708
 
        background-image:url('tab_b.png');
709
 
        background-repeat:repeat-x;
710
 
        height:30px;
711
 
        line-height:30px;
712
 
        color:#6466A0;
713
 
        border:solid 1px #A9AACA;
714
 
        overflow:hidden;
715
 
        margin:0px;
716
 
        padding:0px;
717
 
}
718
 
 
719
 
.navpath li
720
 
{
721
 
        list-style-type:none;
722
 
        float:left;
723
 
        padding-left:10px;
724
 
        padding-right:15px;
725
 
        background-image:url('bc_s.png');
726
 
        background-repeat:no-repeat;
727
 
        background-position:right;
728
 
        color:#212136;
729
 
}
730
 
 
731
 
.navpath li.navelem a
732
 
{
733
 
        height:32px;
734
 
        display:block;
735
 
        text-decoration: none;
736
 
        outline: none;
737
 
}
738
 
 
739
 
.navpath li.navelem a:hover
740
 
{
741
 
        color:#4C4E7C;
742
 
}
743
 
 
744
 
.navpath li.footer
745
 
{
746
 
        list-style-type:none;
747
 
        float:right;
748
 
        padding-left:10px;
749
 
        padding-right:15px;
750
 
        background-image:none;
751
 
        background-repeat:no-repeat;
752
 
        background-position:right;
753
 
        color:#212136;
754
 
        font-size: 8pt;
755
 
}
756
 
 
757
 
 
758
 
div.summary
759
 
{
760
 
        float: right;
761
 
        font-size: 8pt;
762
 
        padding-right: 5px;
763
 
        width: 50%;
764
 
        text-align: right;
765
 
}       
766
 
 
767
 
div.summary a
768
 
{
769
 
        white-space: nowrap;
770
 
}
771
 
 
772
 
div.ingroups
773
 
{
774
 
        margin-left: 5px;
775
 
        font-size: 8pt;
776
 
        padding-left: 5px;
777
 
        width: 50%;
778
 
        text-align: left;
779
 
}
780
 
 
781
 
div.ingroups a
782
 
{
783
 
        white-space: nowrap;
784
 
}
785
 
 
786
 
div.header
787
 
{
788
 
        background-image:url('nav_h.png');
789
 
        background-repeat:repeat-x;
790
 
        background-color: #F6F6F9;
791
 
        margin:  0px;
792
 
        border-bottom: 1px solid #ACADCC;
793
 
}
794
 
 
795
 
div.headertitle
796
 
{
797
 
        padding: 5px 5px 5px 7px;
798
 
}
799
 
 
800
 
dl
801
 
{
802
 
        padding: 0 0 0 10px;
803
 
}
804
 
 
805
 
/* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */
806
 
dl.section
807
 
{
808
 
        border-left:4px solid;
809
 
        padding: 0 0 0 6px;
810
 
}
811
 
 
812
 
dl.note
813
 
{
814
 
        border-color: #D0C000;
815
 
}
816
 
 
817
 
dl.warning, dl.attention
818
 
{
819
 
        border-color: #FF0000;
820
 
}
821
 
 
822
 
dl.pre, dl.post, dl.invariant
823
 
{
824
 
        border-color: #00D000;
825
 
}
826
 
 
827
 
dl.deprecated
828
 
{
829
 
        border-color: #505050;
830
 
}
831
 
 
832
 
dl.todo
833
 
{
834
 
        border-color: #00C0E0;
835
 
}
836
 
 
837
 
dl.test
838
 
{
839
 
        border-color: #3030E0;
840
 
}
841
 
 
842
 
dl.bug
843
 
{
844
 
        border-color: #C08050;
845
 
}
846
 
 
847
 
dl.section dd {
848
 
        margin-bottom: 6px;
849
 
}
850
 
 
851
 
 
852
 
#projectlogo
853
 
{
854
 
        text-align: center;
855
 
        vertical-align: bottom;
856
 
        border-collapse: separate;
857
 
}
858
 
 
859
 
#projectlogo img
860
 
{ 
861
 
        border: 0px none;
862
 
}
863
 
 
864
 
#projectname
865
 
{
866
 
        font: 300% Tahoma, Arial,sans-serif;
867
 
        margin: 0px;
868
 
        padding: 2px 0px;
869
 
}
870
 
    
871
 
#projectbrief
872
 
{
873
 
        font: 120% Tahoma, Arial,sans-serif;
874
 
        margin: 0px;
875
 
        padding: 0px;
876
 
}
877
 
 
878
 
#projectnumber
879
 
{
880
 
        font: 50% Tahoma, Arial,sans-serif;
881
 
        margin: 0px;
882
 
        padding: 0px;
883
 
}
884
 
 
885
 
#titlearea
886
 
{
887
 
        padding: 0px;
888
 
        margin: 0px;
889
 
        width: 100%;
890
 
        border-bottom: 1px solid #3F4168;
891
 
}
892
 
 
893
 
.image
894
 
{
895
 
        text-align: center;
896
 
}
897
 
 
898
 
.dotgraph
899
 
{
900
 
        text-align: center;
901
 
}
902
 
 
903
 
.mscgraph
904
 
{
905
 
        text-align: center;
906
 
}
907
 
 
908
 
.caption
909
 
{
910
 
        font-weight: bold;
911
 
}
912
 
 
913
 
div.zoom
914
 
{
915
 
        border: 1px solid #6B6DA4;
916
 
}
917
 
 
918
 
dl.citelist {
919
 
        margin-bottom:50px;
920
 
}
921
 
 
922
 
dl.citelist dt {
923
 
        color:#1E1E30;
924
 
        float:left;
925
 
        font-weight:bold;
926
 
        margin-right:10px;
927
 
        padding:5px;
928
 
}
929
 
 
930
 
dl.citelist dd {
931
 
        margin:2px 0;
932
 
        padding:5px 0;
933
 
}
934
 
 
935
 
div.toc {
936
 
        padding: 14px 25px;
937
 
        background-color: #F0F0F5;
938
 
        border: 1px solid #C7C8DC;
939
 
        border-radius: 7px 7px 7px 7px;
940
 
        float: right;
941
 
        height: auto;
942
 
        margin: 0 20px 10px 10px;
943
 
        width: 200px;
944
 
}
945
 
 
946
 
div.toc li {
947
 
        background: url("bdwn.png") no-repeat scroll 0 5px transparent;
948
 
        font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
949
 
        margin-top: 5px;
950
 
        padding-left: 10px;
951
 
        padding-top: 2px;
952
 
}
953
 
 
954
 
div.toc h3 {
955
 
        font: bold 12px/1.2 Arial,FreeSans,sans-serif;
956
 
        color: #333454;
957
 
        border-bottom: 0 none;
958
 
        margin: 0;
959
 
}
960
 
 
961
 
div.toc ul {
962
 
        list-style: none outside none;
963
 
        border: medium none;
964
 
        padding: 0px;
965
 
}       
966
 
 
967
 
div.toc li.level1 {
968
 
        margin-left: 0px;
969
 
}
970
 
 
971
 
div.toc li.level2 {
972
 
        margin-left: 15px;
973
 
}
974
 
 
975
 
div.toc li.level3 {
976
 
        margin-left: 30px;
977
 
}
978
 
 
979
 
div.toc li.level4 {
980
 
        margin-left: 45px;
981
 
}
982
 
 
983
 
 
984
 
@media print
985
 
{
986
 
  #top { display: none; }
987
 
  #side-nav { display: none; }
988
 
  #nav-path { display: none; }
989
 
  body { overflow:visible; }
990
 
  h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
991
 
  .summary { display: none; }
992
 
  .memitem { page-break-inside: avoid; }
993
 
  #doc-content
994
 
  {
995
 
    margin-left:0 !important;
996
 
    height:auto !important;
997
 
    width:auto !important;
998
 
    overflow:inherit;
999
 
    display:inline;
1000
 
  }
1001
 
  pre.fragment
1002
 
  {
1003
 
    overflow: visible;
1004
 
    text-wrap: unrestricted;
1005
 
    white-space: -moz-pre-wrap; /* Moz */
1006
 
    white-space: -pre-wrap; /* Opera 4-6 */
1007
 
    white-space: -o-pre-wrap; /* Opera 7 */
1008
 
    white-space: pre-wrap; /* CSS3  */
1009
 
    word-wrap: break-word; /* IE 5.5+ */
1010
 
  }
1011
 
}
1012