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 }