matitaB/matita/matitaweb.css

   1 div.dialog {
   2         position:absolute;
   3         top: 50%;
   4         left: 50%;
   5         width:450px;
   6         height:i500px;
   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.diaTitle {
  15         display: block;
  16         margin-left: auto;
  17         margin-right: auto;
  18         width: 444px;
  19         background-color: #007fff;
  20         color: white;
  21 }
  22
  23 input.diaFile {
  24         margin-left: 3px;
  25         margin-right: auto;
  26         width: 370px;
  27 }
  28
  29 div.scroll {
  30         display: block;
  31         margin-left: auto;
  32         margin-right: auto;
  33         border: 1px solid #ccc;
  34         height:440px;
  35         width:442px;
  36         overflow:auto;
  37         background-color: white;
  38         color:black;
  39 }
  40
  41 div.matitaapparea {
  42         display: block;
  43         margin-left: auto;
  44         margin-right: auto;
  45         height:100%;
  46         width:100%;
  47         background-color: white;
  48         color:black;
  49 }
  50
  51 div.toparea {
  52         display: block;
  53         margin-left: auto;
  54         margin-right: auto;
  55         height:15%;
  56         width:100%;
  57 }
  58
  59 div.bottomarea {
  60         display: block;
  61         margin-left: auto;
  62         margin-right: auto;
  63         height:15%;
  64         width:100%;
  65 }
  66
  67 div.workarea {
  68         display: block;
  69         margin-left: auto;
  70         margin-right: auto;
  71         height:70%;
  72         width:100%;
  73 }
  74
  75 div.toolbar {
  76         display: inline;
  77         margin-left: auto;
  78         margin-right: auto;
  79         height:100%;
  80         width:67%;
  81 }
  82
  83 div.caption {
  84         display: inline;
  85         margin-left: auto;
  86         margin-right: auto;
  87         height:100%;
  88         width:33%;
  89         text-align: center;
  90 }
  91
  92 div.scriptarea {
  93         display: inline;
  94         margin-left: auto;
  95         margin-right: auto;
  96         height:100%;
  97         width:67%;
  98 }
  99
 100 div.goalarea {
 101         display: inline;
 102         margin-left: auto;
 103         margin-right: auto;
 104         height:100%;
 105         width:33%;
 106 }
 107
 108
 109 h2 {
 110         border: 0px;
 111         padding: 1px;
 112         display: inline;
 113 }