body {
    font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
    margin-bottom : 0px;
    margin-left : 0px;
    margin-right : 0px;
    margin-top : 0px;
  }


a:link {
    text-decoration: underline;
    color : #000080;
  }


a:visited {
    text-decoration: none;
    color : #808000;
  }


a:active {
    text-decoration: none;
    color : #333333;
  }


a:hover {
    text-decoration: underline;
    color : #ff0000;
  }


.foot {
    font-size: 9px;
    color: #800000;
  }


.linux {
    color : #800000;
    font-size : 10px;
    font-style : italic;
    font-weight : bold;
  }