1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
/*
* Stylesheet for code documentation
*
* $Id: cdoc.css 268 2001-10-02 16:09:20Z garland $
*/
BODY {
font-family: "Times New Roman", "Times", serif;
background-color: white;
color: black;
}
@media screen {
BODY {
margin-left: 11.11%;
margin-right: 11.11%;
}
/* To be used for floating navbars */
DIV.navbar {
font-family: Arial Narrow;
display: block;
text-align: left;
float: right;
padding-bottom: 2pt;
padding-left: 2pt;
border-left: thin dashed black;
border-bottom: thin dashed black;
}
}
@media print {
/* IE often prints Web pages in excessively large fonts */
BODY { font-size: 10pt; }
/* Navbars should not be printed */
DIV.navbar { display: none }
/* H2 headers are used as the top-level elements for separate sections */
H2 { page-break-before: always }
}
H1, H2, H3, H4, H5, H6 { clear: both; font-family: Arial, sans-serif; }
H1 { font-size: 249% }
H2 { font-size: 172%; }
H3 { font-size: 144%; }
H4 { font-size: 120%; margin-bottom: 0.5em; }
H5,H6 { font-size: 100%; margin-bottom: 0.2em; }
H1, H2, H3, H4 {
color: #4444aa;
background-color: #cccccc;
padding-top: 4px;
padding-left: 4px;
padding-right: 4px;
padding-bottom: 4px;
}
H1,H2 { margin-left: -1.5em; }
H3 { margin-left: -0.75em; }
P { text-indent: 0pt; }
P.indent { text-indent: 1em; }
P.justify { text-align: justify; }
PRE.code { margin-left: 2em }
/* The standard size scale */
.min5 { font-size: 40%; }
.min4 { font-size: 48%; }
.min3 { font-size: 58%; }
.min2 { font-size: 69%; }
.min1 { font-size: 83%; }
.min0 { font-size: 100%; }
.mag0 { font-size: 100%; }
.mag1 { font-size: 120%; }
.mag2 { font-size: 144%; }
.mag3 { font-size: 172%; }
.mag4 { font-size: 207%; }
.mag5 { font-size: 249%; }
/* Link styles */
A { text-decoration: none }
A:active {color: red}
A:hover {color: red}
A:visited {color: purple}
|
