/* Basic redefinition of HTML elements */
/*---------------*/
 body {
  background-color:  white;
  font-family:   tahoma, sans-serif;
  font-size:    85%;
  color:     black;
 }