matitaB/matita/matitaweb.css

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