body {
  font-family: "Liberation Sans", "Nimbus Sans L", sans-serif;
  font-size: 11pt;
  font-size-adjust: 0.52;
}
/*
h1, h2, h3, h4 {
  font-family: "Linux Biolinum", "Liberation Sans", "Nimbus Sans L", sans-serif;
  font-size-adjust: 0.52;  
}
*/
h1 { font-size: 200%; }
h2 { font-size: 150%; }
h3 { font-size: 125%; }
a { text-decoration: none; }
a:link, a:active { color: #000088; }
a:visited { color: #006600; }
a:hover { text-decoration: underline; }