8 text-decoration: none
;
14 font-family: Georgia
, "Times New Roman", Times
, serif
;
19 margin-bottom: 1.0em }
28 div
.abstract p
.topic-title
{
32 div.attention, div.caution, div.danger, div.error, div.hint,
33 div.important, div.note, div.tip, div.warning, div.admonition {
35 border: medium outset ;
39 div
.attention
, div
.caution
, div
.danger
, div
.error
, div
.hint
,
40 div
.important
, div
.note
, div
.tip
, div
.warning
, div
.admonition
{
42 border: 2pt dashed
#800000 ;
45 div
.attention p
.admonition-title
, div
.caution p
.admonition-title
,
46 div
.danger p
.admonition-title
, div
.error p
.admonition-title
,
47 div
.warning p
.admonition-title
{
50 font-family: sans-serif
}
52 div
.hint p
.admonition-title
, div
.important p
.admonition-title
,
53 div
.note p
.admonition-title
, div
.tip p
.admonition-title
,
54 div
.admonition p
.admonition-title
{
56 font-family: sans-serif
}
63 div
.dedication p
.topic-title
{
70 div
.footer
, div
.header
{
74 border: #800000 2pt dashed
;
77 /* margin-left: 1em ;*/
78 /* border: 1 ; medium outset ;
80 background-color: #ffffff ;
87 font-family: sans-serif
;
90 div
.sidebar p
.rubric
{
91 font-family: sans-serif
;
97 div
.system-messages h1
{
101 border: medium outset
;
104 div
.system-message p
.system-message-title
{
121 ol
.simple
, ul
.simple
{
125 list-style: decimal
}
128 list-style: lower-alpha
}
131 list-style: upper-alpha
}
134 list-style: lower-roman
}
137 list-style: upper-roman
}
151 white-space: nowrap
}
160 font-family: sans-serif
;
165 font-family: sans-serif
;
181 pre
.literal-block
, pre
.doctest-block
{
184 background-color: #eeeeee }
187 font-family: sans-serif
;
188 font-style: oblique
}
190 span
.classifier-delimiter
{
191 font-family: sans-serif
;
195 font-family: sans-serif
}
198 white-space: nowrap
}
200 span
.option-argument
{
211 margin-bottom: 0.5em }
214 border-left: solid thin gray
;
215 padding-left: 0.5ex }
221 border-left: solid thin black
;
222 padding-left: 0.5ex }
225 padding-left: 0.5em ;
226 padding-right: 0.5em ;
227 vertical-align: top
}
229 th
.docinfo-name
, th
.field-name
{
232 white-space: nowrap
}
234 h1 tt
, h2 tt
, h3 tt
, h4 tt
, h5 tt
, h6 tt
{
238 /* background-color: #eeeeee */
243 list-style-type: none
}
247 background-color: white
;
249 margin: 1em 2em 1em 2em;
252 h1
{ font-family: Verdana
, Arial
, Helvetica
, sans-serif
; font-weight: bold
; text-align: left
; font-size: 140%; }
253 h2
{ font-family: Verdana
, Arial
, Helvetica
, sans-serif
; font-weight: bold
; text-align: left
; font-size: 110%; }
254 h3
{ font-family: "courier new", courier
, monospace
; font-weight: bold
; text-align: left
; font-size: 100%; }
258 border: gray
1pt solid
;
262 font-family: "courier new", courier
, monospace
;
263 background-color: #eeeeee;
271 border: gray
1pt solid
;
275 font-family: "courier new", courier
, monospace
;
283 font-family: "Courier New", Courier
, monospace
;
289 font-family: Georgia
, "Times New Roman", Times
, serif
294 font-family: Georgia
, "Times New Roman", Times
, serif
299 font-family: Georgia
, "Times New Roman", Times
, serif
306 text-decoration: none
;
313 text-decoration: none
;
319 border: 1px solid black
;
320 border-collapse: collapse
;
330 border: 3px solid black
;
350 border: 1px solid black