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
  15 div.dialog {
  16         position:absolute;
  17         top: 50%;
  18         left: 50%;
  19         width:450px;
  20         height:500px;
  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.diaTitle {
  29         display: block;
  30         margin-left: 3px;
  31         margin-right: auto;
  32         width: 414px;
  33         background-color: #007fff;
  34         color: white;
  35         float: left;
  36         line-height: 32px;
  37 }
  38
  39 div.diaClose {
  40         display: block;
  41         margin-left: auto;
  42         margin-right: 3px;
  43         background-color: red;
  44         width: 30px;
  45         color: white;
  46         float: right;
  47         text-align: center;
  48         vertical-align: middle;
  49         line-height: 32px
  50 }
  51
  52 a#butClose {
  53   color: inherit;
  54 }
  55
  56 input.diaFile {
  57         margin-left: 3px;
  58         margin-right: auto;
  59         width: 370px;
  60 }
  61
  62 div.scroll {
  63         display: block;
  64         margin-left: auto;
  65         margin-right: auto;
  66         border: 1px solid #ccc;
  67         height:415px;
  68         width:442px;
  69         overflow:auto;
  70         background-color: white;
  71         color:black;
  72 }
  73
  74 div.matitaapparea {
  75         display: block;
  76         margin-left: auto;
  77         margin-right: auto;
  78         height:100%;
  79         width:100%;
  80         background-color: white;
  81         color:black;
  82 }
  83
  84 div.toparea {
  85         display: block;
  86         margin-left: auto;
  87         margin-right: auto;
  88         height:64px;
  89         width:100%;
  90         line-height:64px;
  91 /*        float:left;*/
  92 }
  93
  94 div.bottomarea {
  95         display: block;
  96         margin-left: auto;
  97         margin-right: auto;
  98         height:15%;
  99         width:100%;
 100 }
 101
 102 div.workarea {
 103         display: block;
 104         margin-left: auto;
 105         margin-right: auto;
 106         height:88%;
 107         width:100%;
 108 }
 109
 110 div.navibar {
 111         display: inline-block;
 112         margin-left: auto;
 113         margin-right: auto;
 114         height:100%;
 115         width:370px;
 116         float:left;
 117 }
 118
 119 div.toolbar {
 120         display: inline-block;
 121         margin-left: auto;
 122         margin-right: auto;
 123         height:100%;
 124         width:300px;
 125         float:left;
 126 }
 127
 128 div.caption {
 129         display: inline-block;
 130         margin-left: auto;
 131         margin-right: auto;
 132         height:100%;
 133         width:220px;
 134         text-align: center;
 135         float:right;
 136 }
 137
 138 img.topimg {
 139         bottom:0px;
 140         border:none;
 141 }
 142
 143 div.scriptarea {
 144         display: inline-block;
 145         margin-left: auto;
 146         margin-right: auto;
 147         height:100%;
 148         width:67%%;
 149         min-width:67%;
 150         max-width:67%;
 151         float:left;
 152 }
 153
 154 div.goalarea {
 155         display: inline-block;
 156         margin-left: auto;
 157         margin-right: auto;
 158         height:100%;
 159         width:33%;
 160         min-width:33%;
 161         max-width:33%;
 162         float:right;
 163 }
 164
 165 span.activegoal {
 166         color: red;
 167         font-weight: bold;
 168 }
 169
 170 span.passivegoal {
 171         color: blue;
 172 }
 173
 174 h2 {
 175         border: 0px;
 176         padding: 1px;
 177         display: inline;
 178 }