matita/scripts/public_html/style.css

   1 body {
   2   font-family: sans-serif;
   3   font-size: 12pt;
   4 }
   5
   6 h1 {
   7   text-align: center;
   8   background-color: #87CEFA;
   9 }
  10
  11 h2 {
  12   margin-right: auto;
  13   border-bottom-color: #87CEFA;
  14   border-bottom-style: solid;
  15   border-bottom-width: 2px;
  16 }
  17
  18 a, .button {
  19   border: 1px outset;
  20   text-decoration: none;
  21   background-color: #e9e9e9;
  22   color: black;
  23   cursor:pointer;
  24   font-size: small;
  25   padding-left:4px;
  26   padding-right:4px;
  27 }
  28
  29 li {
  30   margin-bottom: 10pt;
  31 }
  32
  33 ul {
  34   list-style-type: upper-roman;
  35 }
  36
  37 table, td {
  38   border-style:none;
  39   padding: 2px 6px 2px 6px;
  40 }
  41
  42 tr.odd {
  43   background-color:#EEEEEE;
  44 }
  45 tr.even {
  46   background-color:#CECECE;
  47 }
  48
  49 th {
  50   border-style:solid;
  51   border-width:0px 0px 1px 0px;
  52   border-color: gray;
  53 }
  54
  55