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         top: 50%;
  63         left: 50%;
  64         width:450px;
  65         height:500px;
  66         margin-top: -250px; /*set to a negative number 1/2 of your height*/
  67         margin-left: -225px; /*set to a negative number 1/2 of your width*/
  68         border: 1px solid #ccc;
  69         padding: 3px;
  70         background-color: #f3f3f3;
  71 }
  72
  73 div.diaTitle {
  74         display: block;
  75         margin-left: 3px;
  76         margin-right: auto;
  77         width: 414px;
  78         background-color: #007fff;
  79         color: white;
  80         float: left;
  81         line-height: 32px;
  82 }
  83
  84 div.diaClose {
  85         display: block;
  86         margin-left: auto;
  87         margin-right: 3px;
  88         background-color: red;
  89         width: 30px;
  90         color: white;
  91         float: right;
  92         text-align: center;
  93         vertical-align: middle;
  94         line-height: 32px
  95 }
  96
  97 a#hlogout {
  98   color: inherit;
  99   font-weight: bold;
 100 }
 101
 102 a.butClose {
 103   color: inherit;
 104 }
 105
 106 input.diaFile {
 107         margin-left: 3px;
 108         margin-right: auto;
 109         width: 370px;
 110 }
 111
 112 div.scroll {
 113         display: block;
 114         margin-left: auto;
 115         margin-right: auto;
 116         border: 1px solid #ccc;
 117         height:415px;
 118         width:442px;
 119         overflow:auto;
 120         background-color: white;
 121         color:black;
 122 }
 123
 124 div.matitaapparea {
 125         display: block;
 126         margin-left: auto;
 127         margin-right: auto;
 128         height:100%;
 129         width:100%;
 130         background-color: white;
 131         color:black;
 132 }
 133
 134 div.toparea {
 135         display: block;
 136         padding:4px;
 137         margin-left: auto;
 138         margin-right: auto;
 139         height:64px;
 140         width:100%;
 141         line-height:64px;
 142 /*        float:left;*/
 143 }
 144
 145 div.bottomarea {
 146         display: block;
 147         margin-left: auto;
 148         margin-right: auto;
 149         height:15%;
 150         width:100%;
 151 }
 152
 153 div.workarea {
 154         display: block;
 155         border:0px;
 156         padding:0px;
 157         margin:0px;
 158         /*margin-left: auto;
 159         margin-right: auto;*/
 160         height:84%;
 161         width:100%;
 162 }
 163
 164 div.navibar {
 165         display: inline-block;
 166         margin-left: auto;
 167         margin-right: auto;
 168         height:100%;
 169         width:370px;
 170         float:left;
 171 }
 172
 173 div.toolbar {
 174         display: inline-block;
 175         margin-left: auto;
 176         margin-right: auto;
 177         height:100%;
 178         width:300px;
 179         float:left;
 180 }
 181
 182 div.caption {
 183         display: inline-block;
 184         margin-left: auto;
 185         margin-right: auto;
 186         height:100%;
 187         width:220px;
 188         text-align: center;
 189         float:right;
 190 }
 191
 192 img.topimg {
 193         bottom:0px;
 194         border:none;
 195 }
 196
 197 div.scriptarea {
 198         display: inline-block;
 199         border:0px;
 200         padding:0px;
 201         margin:0px;
 202 /*      margin-left: auto;
 203         margin-right: auto;*/
 204         height:100%;
 205         width:67%;
 206         min-width:67%;
 207         max-width:67%;
 208         float:left;
 209 }
 210
 211 div.sidearea {
 212         display: inline-block;
 213         border:0px;
 214         padding:0px;
 215         margin:0px;
 216         /*margin-left: auto;
 217         margin-right: auto;*/
 218         height:100%;
 219         width:33%;
 220         min-width:33%;
 221         max-width:33%;
 222         float:right;
 223 }
 224
 225 div.framed {
 226         border: 2px solid DarkGray;
 227 }
 228
 229 div.context {
 230         overflow: auto;
 231 }
 232
 233 span.activegoal {
 234         color: red;
 235         font-weight: bold;
 236 }
 237
 238 span.error {
 239         color:red;
 240         text-decoration: none;
 241         border-bottom: 2px dashed;
 242 }
 243
 244 span.passivegoal {
 245         color: blue;
 246 }
 247
 248 h2 {
 249         border: 0px;
 250         padding: 1px;
 251         display: inline;
 252 }