1 | /* Version 1, 22 March 2013 */
|
---|
2 |
|
---|
3 | /****************************************
|
---|
4 | Basic fonts and typography
|
---|
5 | ****************************************/
|
---|
6 |
|
---|
7 | article { color: #000000; }
|
---|
8 |
|
---|
9 | body {
|
---|
10 | color: #000000;
|
---|
11 | background-color: white;
|
---|
12 | }
|
---|
13 |
|
---|
14 | body, caption, td, th {
|
---|
15 | font-family: Verdana, Arial, Helvetica, sans-serif;
|
---|
16 | font-size: 10pt;
|
---|
17 | }
|
---|
18 |
|
---|
19 | code, pre {
|
---|
20 | font-family: "MS Courier New", Courier, monospace;
|
---|
21 | }
|
---|
22 |
|
---|
23 | h1, h2, h3 {
|
---|
24 | font-size: 12pt;
|
---|
25 | font-weight: bold;
|
---|
26 | color: #336699;
|
---|
27 | }
|
---|
28 |
|
---|
29 | h4 {
|
---|
30 | font-size: 10pt;
|
---|
31 | font-weight: bold;
|
---|
32 | color: #336699;
|
---|
33 | }
|
---|
34 |
|
---|
35 | span.sectiontitle,
|
---|
36 | span.exampletitle,
|
---|
37 | span.prereqtitle,
|
---|
38 | span.contexttitle,
|
---|
39 | span.stepstitle,
|
---|
40 | span.resulttitle,
|
---|
41 | span.postreqtitle,
|
---|
42 | span.propertiestitle,
|
---|
43 | span.reltopictitle {
|
---|
44 | font-weight: bold;
|
---|
45 | color: #336699;
|
---|
46 | }
|
---|
47 |
|
---|
48 |
|
---|
49 | .bold { font-weight: bold; }
|
---|
50 | .boldItalic { font-weight: bold; font-style: italic; }
|
---|
51 | .italic { font-style: italic; }
|
---|
52 | .underlined { text-decoration: underline; }
|
---|
53 | .option { font-weight: bold; }
|
---|
54 |
|
---|
55 | /****************************************
|
---|
56 | Basic identation, padding, and margins
|
---|
57 | ****************************************/
|
---|
58 |
|
---|
59 | body {
|
---|
60 | margin: 0;
|
---|
61 | padding-top: 0.2em;
|
---|
62 | padding-left: 0.6em;
|
---|
63 | padding-right: 0.2em;
|
---|
64 | padding-bottom: 0;
|
---|
65 | }
|
---|
66 |
|
---|
67 | h1, h2, h3, h4, h5, h6 {
|
---|
68 | padding: 0;
|
---|
69 | margin-top: 1em;
|
---|
70 | margin-bottom: 0.75em;
|
---|
71 | margin-left: 0;
|
---|
72 | margin-right: 0;
|
---|
73 | }
|
---|
74 |
|
---|
75 | address, blockquote, li, p {
|
---|
76 | padding: 0;
|
---|
77 | margin-top: 0.75em;
|
---|
78 | margin-bottom: 0.75em;
|
---|
79 | margin-left: 0;
|
---|
80 | margin-right: 0;
|
---|
81 | line-height: 125%;
|
---|
82 | }
|
---|
83 |
|
---|
84 | dd {
|
---|
85 | margin-top: 0.75em;
|
---|
86 | margin-bottom: 0.75em;
|
---|
87 | line-height: 125%;
|
---|
88 | }
|
---|
89 |
|
---|
90 | dl {
|
---|
91 | padding: 0;
|
---|
92 | margin-top: 0.75em;
|
---|
93 | margin-bottom: 0.75em;
|
---|
94 | margin-left: 2em;
|
---|
95 | margin-right: 0;
|
---|
96 | line-height: 125%;
|
---|
97 | }
|
---|
98 |
|
---|
99 | td dl {
|
---|
100 | margin-left: 2em;
|
---|
101 | }
|
---|
102 |
|
---|
103 | ol, ul {
|
---|
104 | padding: 0;
|
---|
105 | margin-top: 0.75em;
|
---|
106 | margin-bottom: 0.75em;
|
---|
107 | margin-left: 2em;
|
---|
108 | margin-right: 0;
|
---|
109 | }
|
---|
110 |
|
---|
111 | pre {
|
---|
112 | padding: 0;
|
---|
113 | margin-top: 0.75em;
|
---|
114 | margin-bottom: 0.75em;
|
---|
115 | margin-left: 2em;
|
---|
116 | /*margin-right: 0;*/
|
---|
117 | }
|
---|
118 |
|
---|
119 | div.context, div.example, div.postreq, div.prereq, div.properties, div.related-links, div.result, div.section, div.steps {
|
---|
120 | padding: 0;
|
---|
121 | margin-top: 1em;
|
---|
122 | margin-bottom: 0.75em;
|
---|
123 | margin-left: 0;
|
---|
124 | margin-right: 0;
|
---|
125 | }
|
---|
126 |
|
---|
127 | div.note, div.important, div.attention {
|
---|
128 | padding: 0;
|
---|
129 | margin-top: 0.75em;
|
---|
130 | margin-bottom: 0.75em;
|
---|
131 | margin-left: 2em;
|
---|
132 | margin-right: 0;
|
---|
133 | line-height: 125%;
|
---|
134 | }
|
---|
135 |
|
---|
136 | /****************************************
|
---|
137 | Block elements
|
---|
138 | ****************************************/
|
---|
139 |
|
---|
140 | .p {margin-top: 1em}
|
---|
141 |
|
---|
142 | pre.screen {
|
---|
143 | padding: 5px 5px 5px 5px;
|
---|
144 | border: outset;
|
---|
145 | background-color: #CCCCCC;
|
---|
146 | margin-top: 2px;
|
---|
147 | margin-bottom : 2px;
|
---|
148 | white-space: pre
|
---|
149 | }
|
---|
150 |
|
---|
151 | pre.codeblock, pre.msgblock {
|
---|
152 | background-color:#e6ebf2;
|
---|
153 | /*margin-right:10%;*/
|
---|
154 | }
|
---|
155 |
|
---|
156 | /****************************************
|
---|
157 | Figures
|
---|
158 | ****************************************/
|
---|
159 |
|
---|
160 | .figcap { font-style: italic }
|
---|
161 | .figdesc { font-style: normal }
|
---|
162 | .figborder { border-style: solid; padding-left : 3px; border-width : 2px; padding-right : 3px; margin-top: 1em; border-color : Silver;}
|
---|
163 | .figsides { border-left : 2px solid; padding-left : 3px; border-right : 2px solid; padding-right : 3px; margin-top: 1em; border-color : Silver;}
|
---|
164 | .figtop { border-top : 2px solid; margin-top: 1em; border-color : Silver;}
|
---|
165 | .figbottom { border-bottom : 2px solid; border-color : Silver;}
|
---|
166 | .figtopbot { border-top : 2px solid; border-bottom : 2px solid; margin-top: 1em; border-color : Silver;}
|
---|
167 |
|
---|
168 | /****************************************
|
---|
169 | Headings
|
---|
170 | ****************************************/
|
---|
171 |
|
---|
172 | .topictitle1 { margin-top: 0pc; margin-bottom: .1em; font-size: 1.34em; }
|
---|
173 | .topictitle2 { margin-top: 1pc; margin-bottom: .45em; font-size: 1.17em; }
|
---|
174 | .topictitle3 { margin-top: 1pc; margin-bottom: .17em; font-size: 1.17em; font-weight: bold; }
|
---|
175 | .topictitle4 { margin-top: .83em; font-size: 1.17em; font-weight: bold; }
|
---|
176 | .topictitle5 { font-size: 1.17em; font-weight: bold; }
|
---|
177 | .topictitle6 { font-size: 1.17em; font-style: italic; }
|
---|
178 | .sectiontitle { margin-top: 1em; margin-bottom: 0em; color: black; font-size: 1.17em; font-weight: bold;}
|
---|
179 | .section { margin-top: 1em; margin-bottom: 1em }
|
---|
180 | .example { margin-top: 1em; margin-bottom: 1em }
|
---|
181 |
|
---|
182 | /****************************************
|
---|
183 | In-line elements
|
---|
184 | ****************************************/
|
---|
185 |
|
---|
186 | .defkwd { font-weight: bold; text-decoration: underline; }
|
---|
187 | .filepath { font-family:monospace }
|
---|
188 | .kwd { font-weight: bold; }
|
---|
189 | .parmname { font-weight: bold; }
|
---|
190 | .shortcut { text-decoration: underline; }
|
---|
191 | .uicontrol { font-weight: bold; }
|
---|
192 | .var { font-style : italic;}
|
---|
193 |
|
---|
194 | /*.topictitle1 .filepath
|
---|
195 | .topictitle2 .filepath,
|
---|
196 | .topictitle3 .filepath,
|
---|
197 | .topictitle4 .filepath,
|
---|
198 | .topictitle5 .filepath,
|
---|
199 | .topictitle6 .filepath,
|
---|
200 | sectiontitle .filepath { font-weight: normal;
|
---|
201 | }*/
|
---|
202 |
|
---|
203 | h1 .filepath {
|
---|
204 | font-family: Verdana, Arial, Helvetica, sans-serif;
|
---|
205 | font-size: 12pt;
|
---|
206 | font-weight: bold;
|
---|
207 | color: #336699;
|
---|
208 | }
|
---|
209 |
|
---|
210 | h2 .filepath, h3 .filepath {
|
---|
211 | font-family: Verdana, Arial, Helvetica, sans-serif;
|
---|
212 | font-size: 12pt;
|
---|
213 | font-weight: bold;
|
---|
214 | }
|
---|
215 | /****************************************
|
---|
216 | Images
|
---|
217 | ****************************************/
|
---|
218 |
|
---|
219 | div.imageleft { text-align: left }
|
---|
220 | div.imagecenter { text-align: center }
|
---|
221 | div.imageright { text-align: right }
|
---|
222 | div.imagejustify { text-align: justify }
|
---|
223 |
|
---|
224 | /****************************************
|
---|
225 | Links
|
---|
226 | ****************************************/
|
---|
227 |
|
---|
228 | .ullinks { list-style-type: none }
|
---|
229 | .ulchildlink { margin-top: 1em; margin-bottom: 1em }
|
---|
230 | .olchildlink { margin-top: 1em; margin-bottom: 1em }
|
---|
231 | .linklist { margin-top: 1em; margin-bottom: 1em }
|
---|
232 | .linklistwithchild { margin-left: 1.5em; margin-bottom: 1em }
|
---|
233 | .sublinklist { margin-left: 1.5em; margin-bottom: 1em }
|
---|
234 | .relconcepts { margin-top: 1em; margin-bottom: 1em }
|
---|
235 | .reltasks { margin-top: 1em; margin-bottom: 1em }
|
---|
236 | .relref { margin-top: 1em; margin-bottom: 1em }
|
---|
237 | .relinfo { margin-top: 1em; margin-bottom: 1em }
|
---|
238 | .breadcrumb { font-size : smaller; margin-bottom: 1em }
|
---|
239 | dt.prereq { margin-left : 20px;}
|
---|
240 |
|
---|
241 | /****************************************
|
---|
242 | Lists
|
---|
243 | ****************************************/
|
---|
244 | ul {list-style-type: disc;}
|
---|
245 | ul.simple { list-style-type: none }
|
---|
246 |
|
---|
247 | .dlterm { font-weight: bold; }
|
---|
248 |
|
---|
249 | /* Use CSS to expand lists with @compact="no" */
|
---|
250 | .dltermexpand { font-weight: bold; margin-top: 1em; }
|
---|
251 | *[compact="yes"]>li { margin-top: 0em;}
|
---|
252 | *[compact="no"]>li { margin-top: .53em;}
|
---|
253 | .liexpand { margin-top: 1em; margin-bottom: 1em }
|
---|
254 | .sliexpand { margin-top: 1em; margin-bottom: 1em }
|
---|
255 | .dlexpand { margin-top: 1em; margin-bottom: 1em }
|
---|
256 | .ddexpand { margin-top: 1em; margin-bottom: 1em }
|
---|
257 | .stepexpand { margin-top: 1em; margin-bottom: 1em }
|
---|
258 | .substepexpand { margin-top: 1em; margin-bottom: 1em }
|
---|
259 |
|
---|
260 | /****************************************
|
---|
261 | Notes
|
---|
262 | ****************************************/
|
---|
263 |
|
---|
264 | .attention { margin-top: 1em; margin-bottom : 1em;}
|
---|
265 | .attentiontitle { font-weight: bold }
|
---|
266 | .cautiontitle { font-weight: bold }
|
---|
267 | .caution { font-weight: bold; margin-bottom : 1em; }
|
---|
268 | .danger { margin-top: 1em; margin-bottom : 1em;}
|
---|
269 | .dangertitle { font-weight: bold }
|
---|
270 | .fastpath { margin-top: 1em; margin-bottom : 1em;}
|
---|
271 | .fastpathtitle { font-weight: bold }
|
---|
272 | .important { margin-top: 1em; margin-bottom : 1em;}
|
---|
273 | .importanttitle { font-weight: bold }
|
---|
274 | .note { margin-top: 1em; margin-bottom : 1em;}
|
---|
275 | .notetitle { font-weight: bold }
|
---|
276 | .notelisttitle { font-weight: bold }
|
---|
277 | .remember { margin-top: 1em; margin-bottom : 1em;}
|
---|
278 | .remembertitle { font-weight: bold }
|
---|
279 | .restriction { margin-top: 1em; margin-bottom : 1em;}
|
---|
280 | .restrictiontitle { font-weight: bold }
|
---|
281 | .tip { margin-top: 1em; margin-bottom : 1em;}
|
---|
282 | .tiptitle { font-weight: bold }
|
---|
283 | .warning { margin-top: 1em; margin-bottom : 1em;}
|
---|
284 | .warningtitle { font-weight: bold }
|
---|
285 |
|
---|
286 | /****************************************
|
---|
287 | Tables
|
---|
288 | ****************************************/
|
---|
289 |
|
---|
290 | table {
|
---|
291 | border-color: #8cb1d1;
|
---|
292 | border-width: 1px;
|
---|
293 | border-style: solid;
|
---|
294 | padding: 1px;
|
---|
295 | border-collapse: collapse;
|
---|
296 | margin-top: 1em;
|
---|
297 | margin-bottom: 1em
|
---|
298 | }
|
---|
299 |
|
---|
300 | tr {
|
---|
301 | border-color: #8cb1d1;
|
---|
302 | }
|
---|
303 |
|
---|
304 | td {
|
---|
305 | border-color: #8cb1d1;
|
---|
306 | }
|
---|
307 |
|
---|
308 | th {
|
---|
309 | background-color: #c3ccd9;
|
---|
310 | }
|
---|
311 |
|
---|
312 | .firstcol { font-weight : bold;}
|
---|
313 |
|
---|
314 | .cellrowborder { border-left:none; border-top:none; border-right:solid 1px; border-bottom:solid 1px }
|
---|
315 | .row-nocellborder { border-left:none; border-right:none; border-top:none; border-right: hidden; border-bottom:solid 1px}
|
---|
316 | .cell-norowborder { border-top:none; border-bottom:none; border-left:none; border-bottom: hidden; border-right:solid 1px}
|
---|
317 | .nocellnorowborder { border:none; border-right: hidden;border-bottom: hidden }
|
---|
318 |
|
---|
319 | /****************************************
|
---|
320 | Task labels
|
---|
321 | ****************************************/
|
---|
322 |
|
---|
323 | div.tasklabel { margin-top: 1em; margin-bottom: 1em; }
|
---|
324 | h2.tasklabel, h3.tasklabel, h4.tasklabel, h5.tasklabel, h6.tasklabel { font-size: 100%; }
|
---|
325 |
|
---|
326 |
|
---|
327 |
|
---|
328 |
|
---|
329 |
|
---|
330 |
|
---|