[helm.git] / helm / matita / scripts / public_html / style.css

body {
  font-family: sans-serif;
  font-size: 12pt;
}

a {
  border: blue 1pt;
}