html {
   margin: 1;
   background: #343434 none;
   padding: 1;
}

body {
   font-family: sans-serif ; 
   font-size: 50% ;
   margin-left: 2px;
   margin-right: 2px;
   margin-top: 2px;
   margin-bottom: 2px;
   color: #000000;  
   background: #c4c4c4 none;
   padding-right: 1px;
   padding-left: 1px;
   padding-top: 1px;
   padding-bottom: 1px;
   line-height: 1.5em; 
}

h1 {
  font-family: sans-serif;
  font-size: 20pt;
  margin-top: 1%;
  margin-left: 1%;
  padding-top: 2px;
  padding-left: 2px;
}

h2 {
  color: black;
  font-family: helvetica;
  font-size: 14pt;
  margin-top: 1%;
}

p.text {
  color: black;
  font-family: arial;
  font-size: 9pt;
  margin-top: 1%;
}

p.menu {
  color: black;
  background: #fffd77 none;
  font-family: sans;
  font-size: 8pt;
  font-style: bold;
  margin-top: 1%;
  margin-left: 1px;
  margin-right: 1px;
  margin-bottom: 1%;
}

a.menu {
  float: left;
  text-decoration: none;
  color: red;
;;  background-color: #fffd77;
  border-right:1px solid gray;
}

a.menu:hover {
  background-color: white;
}

a {
  text-decoration: none;
  color: green;
}

a:hover {
  text-decoration: underline;
  color: red;
}