]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - doc/html/style.css
Package description and copyright added.
[pkg-cerco/acc.git] / doc / html / style.css
1 /* FIXME: This style.css was automatically generated by ocamldoc.  
2    FIXME: This should be customized. */
3
4 body {
5     margin-left  : 5em;
6     margin-right : 5em;
7     padding-left : 5em;
8     padding-right: 5em;
9     border-left  : solid 1px;
10     border-right : solid 1px;
11     border-bottom: 0px;
12 }
13
14 a:visited {
15     color : #416DFF; 
16     text-decoration : none; 
17 }
18 a:link {
19     color : #416DFF; 
20         text-decoration : none;}
21
22 a:hover {
23     color : Red; 
24          text-decoration : none; 
25          background-color: #5FFF88}
26
27 a:active {
28     color : Red; 
29     text-decoration : underline; 
30 }
31
32 .keyword {
33     font-weight : bold ; 
34     color : Black
35 }
36
37 .keywordsign {
38     color : #C04600 
39 }
40
41 .superscript {
42     font-size : 4 
43 }
44
45 .subscript {
46     font-size : 4 
47 }
48
49 .comment {
50     color : Green 
51 }
52
53 .constructor {
54     color : Blue 
55 }
56
57 .type {
58     color : #5C6585 
59 }
60
61 .string {
62     color : Maroon 
63 }
64
65 .warning {    
66     color : Red ; 
67     font-weight : bold 
68 }
69 .info {
70     margin-left : 0em; 
71     margin-right : 0em ;
72     font-family : Verdana;
73     font-style: italic
74 }
75
76 .param_info { 
77     margin-top: 4px; 
78     margin-left : 3em; 
79     margin-right : 3em 
80 }
81
82 .code { 
83     color : #465F91 ; 
84 }
85
86 h1 { 
87     font-size : 30pt ; 
88     text-align: right; 
89     font-variant     : small-caps;
90 }
91
92 h2 { 
93     font-size : 20pt ; 
94     border-bottom: 1px solid #000000; 
95     margin-top: 5px; 
96     margin-bottom: 2px;
97     margin-left: 0px;
98     margin-right: 0px;
99     padding-left: 0px;
100     padding-right: 0px;
101     text-align: left; 
102     padding-top: 1em;    
103     font-variant     : small-caps;
104 }
105
106 h3 { font-size : 20pt ; 
107      border: 1px solid #000000; 
108      margin-top: 5px; 
109      margin-bottom: 2px;t
110      ext-align: center; 
111      background-color: #90DDFF ;p
112      adding: 2px; 
113    }
114
115 h4 { font-size : 20pt ; 
116      border: 1px solid #000000; 
117      margin-top: 5px; 
118      margin-bottom: 2px;t
119      ext-align: center; 
120      background-color: #90EDFF ;p
121      adding: 2px; 
122    }
123
124 h5 { font-size : 20pt ; 
125      border: 1px solid #000000; 
126      margin-top: 5px; 
127      margin-bottom: 2px;t
128      ext-align: center; 
129      background-color: #90FDFF ;p
130      adding: 2px; 
131    }
132
133 h6 { font-size : 20pt ; 
134      border: 1px solid #000000; 
135      margin-top: 5px; 
136      margin-bottom: 2px;t
137      ext-align: center; 
138      background-color: #C0FFFF ; 
139      padding: 2px; 
140    }
141
142 div.h7 { font-size : 20pt ; 
143          border: 1px solid #000000; 
144          margin-top: 5px; 
145          margin-bottom: 2px;t
146          ext-align: center; 
147          background-color: #E0FFFF ; 
148          padding: 2px; 
149        }
150
151 div.h8 { font-size : 20pt ; 
152          border: 1px solid #000000; 
153          margin-top: 5px; 
154          margin-bottom: 2px;t
155          ext-align: center; 
156          background-color: #F0FFFF ; 
157          padding: 2px; 
158        }
159
160 div.h9 { font-size : 20pt ; 
161          border: 1px solid #000000; 
162          margin-top: 5px; 
163          margin-bottom: 2px;t
164          ext-align: center; 
165          background-color: #FFFFFF ; 
166          padding: 2px; 
167        }
168
169 .typetable { border-style : hidden }
170
171 .indextable { border-style : hidden }
172
173 .paramstable { 
174     border-style : hidden ; 
175     padding: 5pt 5pt
176 }
177
178 tr { 
179     background-color : White 
180
181 }
182 td.typefieldcomment { 
183     background-color : #FFFFFF ; 
184     font-size: smaller ;
185 }
186
187 pre { 
188     margin-bottom: 4px;
189     margin-top: 2em;
190     margin-left: 0em;
191     font-size: 11pt;
192 }
193
194 div.sig_block {
195     margin-left: 2em
196 }