Line | |
---|
1 | body {
|
---|
2 | font-family: arial, helvetica, sans-serif;
|
---|
3 | font-size: small;
|
---|
4 | font-weight: normal;
|
---|
5 | margin-left: 0in;
|
---|
6 | margin-right: 0in;
|
---|
7 | }
|
---|
8 |
|
---|
9 | /* show underline on light blue links only on hover */
|
---|
10 | a {
|
---|
11 | text-decoration: none;
|
---|
12 | color: #6699ff;
|
---|
13 | }
|
---|
14 | a:hover {
|
---|
15 | text-decoration: underline;
|
---|
16 | }
|
---|
17 |
|
---|
18 | /* heading */
|
---|
19 | h3 {
|
---|
20 | display: block;
|
---|
21 | margin-top: 0em;
|
---|
22 | margin-bottom: 1.25em;
|
---|
23 | font-weight: bold;
|
---|
24 | font-variant: small-caps;
|
---|
25 | font-size: 125%;
|
---|
26 | }
|
---|
27 |
|
---|
28 | /* subheading */
|
---|
29 | h4 {
|
---|
30 | display: block;
|
---|
31 | margin-top: 0em;
|
---|
32 | margin-bottom: 1em;
|
---|
33 | font-weight: bold;
|
---|
34 | font-variant: small-caps;
|
---|
35 | font-size: 100%;
|
---|
36 | }
|
---|
37 |
|
---|
38 | /* emphasis */
|
---|
39 | b {
|
---|
40 | font-weight: bold;
|
---|
41 | }
|
---|
42 |
|
---|
43 | /* formatted code */
|
---|
44 | pre {
|
---|
45 | display: block;
|
---|
46 | white-space: pre;
|
---|
47 | font-family: courier;
|
---|
48 | font-size: 87.5%;
|
---|
49 | }
|
---|
50 |
|
---|
51 | .banner {
|
---|
52 | font-weight: normal;
|
---|
53 | font-variant: small-caps;
|
---|
54 | font-size: 400%;
|
---|
55 | width: 100%;
|
---|
56 | padding: 0px;
|
---|
57 | margin: 0px;
|
---|
58 | border: 0px;
|
---|
59 | }
|
---|
60 | .banner a {
|
---|
61 | color: #000000;
|
---|
62 | }
|
---|
63 | .banner a:hover {
|
---|
64 | text-decoration: none;
|
---|
65 | color: #000000;
|
---|
66 | }
|
---|
67 | .bannerb {
|
---|
68 | color: #ffffff;
|
---|
69 | background-color: #ffffff;
|
---|
70 | width: 100%;
|
---|
71 | height: 1px;
|
---|
72 | padding: 0px;
|
---|
73 | margin: 0px;
|
---|
74 | border-bottom: solid #6699ff 1px;
|
---|
75 | }
|
---|
76 |
|
---|
77 | .nav {
|
---|
78 | font-size: x-small;
|
---|
79 | font-weight: normal;
|
---|
80 | background-color: #d4d4d4;
|
---|
81 |
|
---|
82 | padding: 2px 0px 2px 0px;
|
---|
83 | margin: 0px;
|
---|
84 | border-bottom: solid #d4d4d4 300px;
|
---|
85 | }
|
---|
86 | .nav a:hover {
|
---|
87 | text-decoration: none;
|
---|
88 | color: #666666;
|
---|
89 | }
|
---|
90 | .nav td {
|
---|
91 | padding-right: 20px;
|
---|
92 | padding-left: 5px;
|
---|
93 | text-indent: 1em;
|
---|
94 | }
|
---|
95 | .nav .section {
|
---|
96 | width: 120px;
|
---|
97 | text-indent: 0em;
|
---|
98 | border-top: 0px;
|
---|
99 | border-left: 0px;
|
---|
100 | border-right: 0px;
|
---|
101 | border-bottom: solid #aaaaaa 1px;
|
---|
102 | padding-bottom: 0px;
|
---|
103 | font-weight: bold;
|
---|
104 | color: #777777;
|
---|
105 | }
|
---|
106 |
|
---|
107 | .main {
|
---|
108 | font-size: small;
|
---|
109 | font-weight: normal;
|
---|
110 | margin-left: 0.1in;
|
---|
111 | margin-right: 0.25in;
|
---|
112 | }
|
---|
113 |
|
---|
114 | .main table {
|
---|
115 | font-size: small;
|
---|
116 | font-weight: normal;
|
---|
117 | margin-left: 0.1in;
|
---|
118 | margin-right: 0.25in;
|
---|
119 | }
|
---|
120 |
|
---|
121 | .date {
|
---|
122 | font-weight: bold;
|
---|
123 | }
|
---|
124 |
|
---|
125 | .arg {
|
---|
126 | font-style: italic;
|
---|
127 | font-family: courier;
|
---|
128 | }
|
---|
129 |
|
---|
130 | .userinput {
|
---|
131 | display: block;
|
---|
132 | white-space: pre;
|
---|
133 | font-family: courier;
|
---|
134 | font-size: 87.5%;
|
---|
135 | font-weight: bold;
|
---|
136 | }
|
---|
137 |
|
---|
138 | .code {
|
---|
139 | font-family: courier;
|
---|
140 | }
|
---|
141 |
|
---|
142 | .code table {
|
---|
143 | font-size: small;
|
---|
144 | }
|
---|
145 |
|
---|
146 | /* block of code */
|
---|
147 | .codeblock {
|
---|
148 | display: block;
|
---|
149 | white-space: pre;
|
---|
150 | font-family: courier;
|
---|
151 | font-size: 87.5%;
|
---|
152 | border: 1px solid #000000;
|
---|
153 | padding: 1em;
|
---|
154 | padding-top: 0em;
|
---|
155 | margin: 1em;
|
---|
156 | background-color: #cccccc;
|
---|
157 | color: #000000;
|
---|
158 | }
|
---|
159 |
|
---|
160 | .fakelink {
|
---|
161 | color: #6699ff;
|
---|
162 | }
|
---|
163 |
|
---|
164 | .hide {
|
---|
165 | display:none
|
---|
166 | }
|
---|
Note:
See
TracBrowser
for help on using the repository browser.