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 .smallmargin {
 152         margin:4px !important;
 153 }
 154
 155 div.toparea {
 156         display: block !important;
 157         padding:0px !important;
 158         margin:0px !important;
 159 /*      margin-left: auto;
 160         margin-right: auto;*/
 161         height:auto;
 162         width:100% !important;
 163 /*        line-height:64px; */
 164 /*        float:left;*/
 165 }
 166
 167 div.nomargin {
 168         padding:0px !important;
 169         margin:0px !important;
 170         border:0px !important;
 171 }
 172
 173 div.bottomarea {
 174         background-color: #ffffbf !important;
 175 }
 176
 177 div.bottomicon {
 178         float:left;
 179         display:inline-block;
 180 }
 181
 182 div.bottomtext {
 183         color:red;
 184         display:inline-block;
 185         padding:4px;
 186         margin-left:8px;
 187 }
 188
 189 div.bottomclose {
 190         display: inline-block;
 191         float: right;
 192 }
 193
 194 div.workarea {
 195         display: block;
 196         border:0px;
 197         padding:0px;
 198         margin:0px;
 199         /*margin-left: auto;
 200         margin-right: auto;*/
 201         height:84%;
 202         width:100%;
 203 }
 204
 205 div.toolbarclass {
 206         display: inline-block !important;
 207         padding:4px !important;
 208         border:0px !important;
 209         height:24px !important;
 210 }
 211
 212 div.navibarclass {
 213         display: inline-block !important;
 214         padding:4px !important;
 215         border:0px !important;
 216         height:64px !important;
 217 }
 218
 219 div.navibar {
 220 /*      height:100%; */
 221         float:left;
 222         width:350px;
 223 }
 224
 225 div.toolbar {
 226         width:400px;
 227         float:left;
 228 }
 229
 230 div.caption {
 231         width:220px;
 232         text-align: center;
 233         float:right;
 234 }
 235
 236 img.topimg {
 237         bottom:0px;
 238         border:none;
 239 }
 240
 241 img.toolbarimg {
 242         bottom:0px;
 243         border:none;
 244         height:24px;
 245         width:24px;
 246 }
 247
 248 div.scriptarea {
 249         display: inline-block;
 250         border:0px;
 251         padding:0px;
 252         margin:0px;
 253 /*      margin-left: auto;
 254         margin-right: auto;*/
 255         height:100%;
 256         width:67%;
 257 /*        min-width:67%;
 258         max-width:67%; */
 259         float:left;
 260 }
 261
 262 div.sidearea {
 263         display: inline-block;
 264         border:0px !important;
 265         padding:0px !important;
 266         margin:0px !important;
 267         overflow: hidden !important;
 268         /*margin-left: auto;
 269         margin-right: auto;*/
 270         height:100%;
 271 /*      width:33% !important; */
 272 /*        min-width:33%;
 273         max-width:33%;  */
 274         float:right;
 275 }
 276
 277 div.framed {
 278         border: 2px solid DarkGray;
 279         overflow: auto;
 280 }
 281
 282 div.context {
 283         /* overflow: auto; */
 284 }
 285
 286 span.autotactic {
 287         color: green;
 288         font-weight: bold;
 289 }
 290
 291 span.autotrace {
 292         display:none;
 293 }
 294
 295 span.activegoal {
 296         color: red;
 297         font-weight: bold;
 298 }
 299
 300 span.error {
 301         color:red;
 302         text-decoration: none;
 303         border-bottom: 2px dashed;
 304 }
 305
 306 span.passivegoal {
 307         color: blue;
 308 }
 309
 310 h2 {
 311         border: 0px;
 312         padding: 1px;
 313         display: inline;
 314 }