helm/matita/scripts/public_html/style.css

   1 body {
   2   font-family: sans-serif;
   3   font-size: 12pt;
   4 }
   5
   6 a, .button {
   7   border: 2px outset gray;
   8   text-decoration: none;
   9   background-color: silver;
  10   color: black;
  11   cursor:pointer;
  12 }
  13
  14 li {
  15   margin-bottom: 5pt;
  16
  17 }
  18
  19 ul {
  20   list-style-type: upper-roman;
  21 }