]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/html/matitaweb.css
update in delayed_updating
[helm.git] / matitaB / matita / html / matitaweb.css
1 body {
2         font: 75% verdana, arial, helvetica, sans-serif;
3         border:0px;
4         padding:0px;
5         margin:0px;
6 }
7
8 div#matitaapparea {
9         border:0px;
10         padding:0px;
11         margin:0px;
12         position:fixed;
13 }
14
15 div.upload {
16         position:absolute;
17         top: 50%;
18         left: 50%;
19         width:450px;
20         height:50px;
21         margin-top: -250px; /*set to a negative number 1/2 of your height*/
22         margin-left: -225px; /*set to a negative number 1/2 of your width*/
23         border: 1px solid #ccc;
24         padding: 3px;
25         background-color: #f3f3f3;
26 }
27
28 div.titlebar {
29         display: block !important;
30         margin:0px !important;
31         border:0px !important;
32         width:100% !important;
33         height: 32px !important;
34         background-color: #007fff !important;
35         color: white !important;
36 }
37
38 div.mainTitle {
39         display: block;
40         margin-left: 3px;
41         margin-right: auto;
42         max-width: 600px;
43         max-height: 32px;
44         float: left;
45         line-height: 32px;
46         vertical-align: middle;
47 }
48
49 div.mainRight {
50         display: block;
51         max-width: 600px;
52         max-height: 32px;
53         line-height: 32px;
54         display: block;
55         margin-left: auto;
56         margin-right: 3px;
57         float: right;
58         vertical-align: middle;
59 }
60
61 div.dialog {
62         position:absolute;
63         width:450px;
64         height:500px;
65         border: 1px solid #ccc;
66         padding: 3px;
67         background-color: #f3f3f3;
68         z-index: 9999;
69 }
70
71 div.diaTitle {
72         display: block;
73         margin-left: 3px;
74         margin-right: auto;
75         width: 414px;
76         background-color: #007fff;
77         color: white;
78         float: left;
79         line-height: 32px;
80 }
81
82 div.diaClose {
83         display: block;
84         margin-left: auto;
85         margin-right: 3px;
86         background-color: red;
87         width: 30px;
88         color: white;
89         float: right;
90         text-align: center;
91         vertical-align: middle;
92         line-height: 32px
93 }
94
95 #mask {
96         position:absolute;
97         left:0;
98         top:0;
99         z-index:9000;
100         background-color:#000;
101         display:none;
102 }
103
104 #whitemask {
105         position:absolute;
106         left:0;
107         top:0;
108         z-index:9000;
109         background-color:#ffffff;
110         display:none;
111 }
112
113
114 a#hlogout {
115   color: inherit;
116   font-weight: bold;
117 }
118
119 a.butClose {
120   color: inherit;
121 }
122
123 input.diaFile {
124         margin-left: 3px;
125         margin-right: auto;
126         width: 370px;
127 }
128
129 div.scroll {
130         display: block;
131         margin-left: auto;
132         margin-right: auto;
133         border: 1px solid #ccc;
134         height:415px; 
135         width:442px; 
136         overflow:auto;
137         background-color: white;
138         color:black;
139 }
140
141 div.matitaapparea {
142         display: block;
143         margin-left: auto;
144         margin-right: auto;
145         height:100%;
146         width:100%; 
147         background-color: white;
148         color:black;
149 }
150
151 h2#matitaTitle {
152         display: inline;
153         padding: 6px;
154         vertical-align: top;
155 }
156
157 .smallmargin {
158         margin:4px !important;
159 }
160
161 div.toparea {
162         display: block !important;
163         padding:0px !important; 
164         margin:0px !important;
165 /*      margin-left: auto;
166         margin-right: auto;*/
167         height:auto; 
168         width:100% !important; 
169 /*        line-height:64px; */
170 /*        float:left;*/
171 }
172
173 div.nomargin {
174         padding:0px !important;
175         margin:0px !important;
176         border:0px !important;
177 }
178
179 div.bottomarea {
180         background-color: #ffffbf !important;
181 }
182
183 div.bottomicon {
184         float:left;
185         display:inline-block;
186 }
187
188 div.bottomtext {
189         color:red;
190         display:inline-block;
191         padding:4px;
192         margin-left:8px;
193 }
194
195 div.bottomclose {
196         display: inline-block;
197         float: right;
198 }
199
200 div.workarea {
201         display: block;
202         border:0px;
203         padding:0px;
204         margin:0px;
205         /*margin-left: auto;
206         margin-right: auto;*/
207         height:84%; 
208         width:100%; 
209 }
210
211 div.toolbarclass {
212         display: inline-block !important;
213         padding:4px !important;
214         border:0px !important;
215         height:24px !important;
216 }       
217
218 div.navibarclass {
219         display: inline-block !important;
220         padding:4px !important;
221         border:0px !important;
222         height:64px !important;
223 }       
224
225 div.navibar {
226 /*      height:100%; */
227         float:left; 
228         width:350px; 
229 }
230
231 div.toolbar {
232         width:400px;
233         float:left; 
234 }
235
236 div.caption {
237         width:220px; 
238         text-align: center;
239         float:right; 
240 }
241
242 img.topimg {
243         bottom:0px;
244         border:none;
245 }
246
247 img.toolbarimg {
248         bottom:0px;
249         border:none;
250         height:24px;
251         width:24px;
252 }
253
254 div.scriptarea {
255         display: inline-block;
256         border:0px;
257         padding:0px;
258         margin:0px;
259 /*      margin-left: auto;
260         margin-right: auto;*/
261         height:100%; 
262         width:67%;
263 /*        min-width:67%;
264         max-width:67%; */
265         float:left;
266 }
267
268 div.sidearea {
269         display: inline-block;
270         border:0px !important;
271         padding:0px !important;
272         margin:0px !important;
273         overflow: hidden !important;
274         /*margin-left: auto;
275         margin-right: auto;*/
276         height:100%; 
277 /*      width:33% !important; */
278 /*        min-width:33%;
279         max-width:33%;  */
280         float:right;
281 }
282
283 div.framed { 
284         border: 2px solid DarkGray;
285         overflow: auto;
286 }
287
288 div.context {
289         /* overflow: auto; */
290 }
291
292 span.autotactic {
293         color: green;
294         font-weight: bold;
295 }
296
297 span.autotrace {
298         display:none;
299 }
300
301 span.activegoal {
302         color: red;
303         font-weight: bold;
304 }
305
306 span.error {
307         color:red;
308         text-decoration: none;
309         border-bottom: 2px dashed;
310 }
311
312 span.passivegoal {
313         color: blue;
314 }
315
316 h2 {
317         border: 0px;
318         padding: 1px;
319         display: inline;
320 }