a {
     font-size:12pt;
     font-family:monospace;
     color:#000000;
  }


a.current {
     font-size:15pt;
     font-weight:bold;
     color:#1937b4;
  }


div.sitetitle {
     font-size:15pt;
     font-family:monospace;
     color:#1937b4;
     padding:12pt;
  }


div.titlepagename {
     font-size:20pt;
     color:#1937b4;
  }


div.copyright {
     font-size:10pt;
     color:#1937b4;
  }