helm/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: 2px outset gray;
  20   text-decoration: none;
  21   background-color: silver;
  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 }