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
|
a:visited {color : #416DFF; text-decoration : none; }
a:link {color : #416DFF; text-decoration : none;}
a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
a:active {color : Red; text-decoration : underline; }
.keyword { font-weight : bold ; color : Red }
.keywordsign { color : #C04600 }
.superscript { font-size : 4 }
.subscript { font-size : 4 }
.comment { color : Green }
.constructor { color : Blue }
.type { color : #5C6585 }
.string { color : Maroon }
.warning { color : Red ; font-weight : bold }
.info { margin-left : 1cm; margin-right : 2cm }
.param_info { margin-top: 4px; margin-left : 1cm; margin-right : 2cm }
.code { color : #465F91 ; }
h1 { font-size : 20pt ;
margin-top: 50pt;
margin-bottom: 25pt;
text-align: center;
padding: 5px;
border: 1px solid #000000;
background-color: #c0c0c0;
}
h2 { font-size : 20pt ;
margin-top: 20pt;
margin-bottom: 8pt;
text-align: left;
padding: 2px;
margin-left: 1cm;
border-bottom: 1px solid #777777;
}
h3 { font-size : 16pt ;
margin-top: 20pt;
margin-bottom: 8pt;
text-align: left;
padding: 2px;
padding-left: 1cm;
}
h4 { font-size : 12pt ;
margin-top: 12pt;
margin-bottom: 6pt;
text-align: left;
padding: 2px;
}
h5 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90FDFF ;padding: 2px; }
h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
div.h7 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #E0FFFF ; padding: 2px; }
div.h8 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #F0FFFF ; padding: 2px; }
div.h9 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #FFFFFF ; padding: 2px; }
.typetable { border-style : hidden }
.indextable { border-style : hidden }
.paramstable { border-style : hidden ; padding: 5pt 5pt}
body { background-color : White }
tr { background-color : White }
td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
pre { margin-bottom: 4px }
div.sig_block {margin-left: 1cm}
li { margin-top: 1ex }
li p { margin-top: 1ex; margin-bottom: 1ex }
.remark { margin-left: 1cm; font-style: italic }
.guide { background-color: #F0E4C1 }
table.t1 { padding: 5px; border: 1px solid black; border-collapse:collapse; }
td.t1 { empty-cells: show;
border-top: 1px solid black;
border-bottom: 1px solid black;
padding-left: 5px;
padding-right: 5px;
}
tr.t1head { background-color: #D0D0D0; }
table.intro { padding: 5px; border: 1px solid black; border-collapse:collapse; }
td.intro { empty-cells: show;
border-top: 1px solid black;
border-bottom: 1px solid black;
padding-left: 5px;
padding-right: 5px;
}
tr.intro { background-color: #bcdefb; }
|
