matitaB/matita/matitaweb.css

   1 div.upload {
   2         position:absolute;
   3         top: 50%;
   4         left: 50%;
   5         width:450px;
   6         height:50px;
   7         margin-top: -250px; /*set to a negative number 1/2 of your height*/
   8         margin-left: -225px; /*set to a negative number 1/2 of your width*/
   9         border: 1px solid #ccc;
  10         padding: 3px;
  11         background-color: #f3f3f3;
  12 }
  13
  14 div.titlebar {
  15         display: block;
  16         margin-left: auto;
  17         margin-right: auto;
  18         margin-bottom: 4px;
  19         width:100%;
  20         height: 32px;
  21         background-color: #007fff;
  22         color: white;
  23 }
  24
  25 div.mainTitle {
  26         display: block;
  27         margin-left: 3px;
  28         margin-right: auto;
  29         max-width: 600px;
  30         max-height: 32px;
  31         float: left;
  32         line-height: 32px;
  33         vertical-align: middle;
  34 }
  35
  36 div.mainRight {
  37         display: block;
  38         max-width: 600px;
  39         max-height: 32px;
  40         line-height: 32px;
  41         display: block;
  42         margin-left: auto;
  43         margin-right: 3px;
  44         float: right;
  45         vertical-align: middle;
  46 }
  47
  48 div.dialog {
  49         position:absolute;
  50         top: 50%;
  51         left: 50%;
  52         width:450px;
  53         height:500px;
  54         margin-top: -250px; /*set to a negative number 1/2 of your height*/
  55         margin-left: -225px; /*set to a negative number 1/2 of your width*/
  56         border: 1px solid #ccc;
  57         padding: 3px;
  58         background-color: #f3f3f3;
  59 }
  60
  61 div.diaTitle {
  62         display: block;
  63         margin-left: 3px;
  64         margin-right: auto;
  65         width: 414px;
  66         background-color: #007fff;
  67         color: white;
  68         float: left;
  69         line-height: 32px;
  70 }
  71
  72 div.diaClose {
  73         display: block;
  74         margin-left: auto;
  75         margin-right: 3px;
  76         background-color: red;
  77         width: 30px;
  78         color: white;
  79         float: right;
  80         text-align: center;
  81         vertical-align: middle;
  82         line-height: 32px
  83 }
  84
  85 a#hlogout {
  86   color: inherit;
  87   font-weight: bold;
  88 }
  89 a#butClose {
  90   color: inherit;
  91 }
  92
  93 input.diaFile {
  94         margin-left: 3px;
  95         margin-right: auto;
  96         width: 370px;
  97 }
  98
  99 div.scroll {
 100         display: block;
 101         margin-left: auto;
 102         margin-right: auto;
 103         border: 1px solid #ccc;
 104         height:415px;
 105         width:442px;
 106         overflow:auto;
 107         background-color: white;
 108         color:black;
 109 }
 110
 111 div.matitaapparea {
 112         display: block;
 113         margin-left: auto;
 114         margin-right: auto;
 115         height:100%;
 116         width:100%;
 117         background-color: white;
 118         color:black;
 119 }
 120
 121 div.toparea {
 122         display: block;
 123         margin-left: auto;
 124         margin-right: auto;
 125         height:64px;
 126         width:100%;
 127         line-height:64px;
 128 /*        float:left;*/
 129 }
 130
 131 div.bottomarea {
 132         display: block;
 133         margin-left: auto;
 134         margin-right: auto;
 135         height:15%;
 136         width:100%;
 137 }
 138
 139 div.workarea {
 140         display: block;
 141         margin-left: auto;
 142         margin-right: auto;
 143         height:84%;
 144         width:100%;
 145 }
 146
 147 div.navibar {
 148         display: inline-block;
 149         margin-left: auto;
 150         margin-right: auto;
 151         height:100%;
 152         width:370px;
 153         float:left;
 154 }
 155
 156 div.toolbar {
 157         display: inline-block;
 158         margin-left: auto;
 159         margin-right: auto;
 160         height:100%;
 161         width:300px;
 162         float:left;
 163 }
 164
 165 div.caption {
 166         display: inline-block;
 167         margin-left: auto;
 168         margin-right: auto;
 169         height:100%;
 170         width:220px;
 171         text-align: center;
 172         float:right;
 173 }
 174
 175 img.topimg {
 176         bottom:0px;
 177         border:none;
 178 }
 179
 180 div.scriptarea {
 181         display: inline-block;
 182         margin-left: auto;
 183         margin-right: auto;
 184         height:100%;
 185         width:67%%;
 186         min-width:67%;
 187         max-width:67%;
 188         float:left;
 189 }
 190
 191 div.goalarea {
 192         display: inline-block;
 193         margin-left: auto;
 194         margin-right: auto;
 195         height:100%;
 196         width:33%;
 197         min-width:33%;
 198         max-width:33%;
 199         float:right;
 200 }
 201
 202 span.activegoal {
 203         color: red;
 204         font-weight: bold;
 205 }
 206
 207 span.passivegoal {
 208         color: blue;
 209 }
 210
 211 h2 {
 212         border: 0px;
 213         padding: 1px;
 214         display: inline;
 215 }