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:440px;
  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:70%;
 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 }
 141
 142 div.scriptarea {
 143         display: inline-block;
 144         margin-left: auto;
 145         margin-right: auto;
 146         height:100%;
 147         width:100%;
 148         min-width:67%;
 149         float:left;
 150 }
 151
 152 div.goalarea {
 153         display: inline-block;
 154         margin-left: auto;
 155         margin-right: auto;
 156         height:100%;
 157         width:33%;
 158         min-width:33%;
 159         float:right;
 160 }
 161
 162
 163 h2 {
 164         border: 0px;
 165         padding: 1px;
 166         display: inline;
 167 }