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
|
/* A style for ocamldoc. Daniel C. Buenzli */
body { padding: 0em;
border: 0em;
margin: 2em 10% 2em 10%;
font-family: verdana,sans-serif;
font-size: 9pt;
font-weight: normal;
line-height: 130%;
text-align: justify;
background: white;
color : black;
max-width: 75ex;
min-width: 40ex; }
pre, p, div, span, img, table, td, ol, ul, li
{ padding: 0em; border: 0em; margin: 0em }
h1, h2, h3, h4, h5, h6, h7, h8, h9 { padding: 1ex 0em 0em 0em;
border: 0em;
margin: 1em 0em 0em 0em;
font-weight : bold;
font-family : sans-serif;
text-align: left;
border-top-style : dotted;
border-width : thin; }
h1 { font-size : 140%}
h2 { font-size : 120%; border-top-style : none; margin: 1ex 0em 0em 0em }
h3, h4, h5, h6, h7, h8, h9 { font-size : 100%; border-top-style : none; }
.navbar { padding-bottom : 1em; margin-bottom: 1em }
p { padding: 1em 0ex 0em 0em }
a, a:link, a:visited, a:active, a:hover { color : #009; text-decoration: none }
a:hover { color : #009; text-decoration : underline }
hr { border-style: none; }
table { font-size : 100% /* Why ? */ }
ul li { padding: 1em 0em 0em 0em; margin:0em 0em 0em 2.5ex}
ol li { padding: 1em 0em 0em 0em; margin:0em 0em 0em 2em}
pre { margin: 3ex 0em 1ex 0em; }
.keyword { font-weight: bold; color: black }
.keywordsign { color : black }
.code { color : black }
.info { margin: 0em 0em 0em 2em }
.comment { color : red }
.constructor { color : #072 }
.type { color : black }
.string { color : #bc8f8f }
.warning { color : Red ; font-weight : bold }
div.sig_block {margin-left: 2em}
.typetable { border-style : hidden }
.indextable { border-style : hidden }
.paramstable { border-style : hidden ; padding: 5pt 5pt}
.superscript { font-size : 80% }
.subscript { font-size : 80% }
|
