1 body
{ padding: 0px 20px 0px 26px; background: #ffffff; color: #000000; font-family: Verdana
, Arial
, Helvetica
, sans-serif
; font-size: 90%; }
2 h1
{ padding : 5px 0px 5px 0px; font-size : 16pt; font-weight : normal
; background-color : #E0E0FF }
3 h6
{ padding : 5px 0px 5px 20px; font-size : 16pt; font-weight : normal
; background-color : #E0E0FF }
4 a:link
, a:visited
, a:active
{ text-decoration: none
; }
5 a:link
{ color: #000077; }
6 a:visited
{ color: #000077; }
7 a:hover
{ color: #cc9900; }
8 .keyword { font-weight : bold
; color : Blue
}
9 .keywordsign { color : #606060 }
10 .superscript { font-size : 4 }
11 .subscript { font-size : 4 }
12 .comment { color : #606060 }
13 .constructor { color : #808080; }
14 .type { color : #606060 }
15 .string { color : Red
}
16 .warning { color : Red
; font-weight : bold
}
17 .info { margin-left : 3em; margin-right : 3em }
18 .code { color : #606060 ; }
19 .title1 { font-size : 16pt ; background-color : #E0E0E0 }
20 .title2 { font-size : 16pt ; background-color : #E0E0E0 }
21 .title3 { font-size : 16pt ; background-color : #E0E0E0 }
22 .title4 { font-size : 16pt ; background-color : #E0E0E0 }
23 .title5 { font-size : 16pt ; background-color : #E0E0E0 }
24 .title6 { font-size : 16pt ; background-color : #E0E0E0; }