/* Ordinary text */

body {color: black;
      font-family: "DejaVu LGC Sans", "DejaVu Sans",
          "Verdana", "Geneva", "Tahoma", "Arial", "Sans-serif";
      background-color: white;}

kbd, pre, tt {
      font-family: "DejaVu LGC Sans Mono", "DejaVu Sans Mono", "Monospace";
      font-style: inherit;}

p.menu {text-align: center;
      font-size: larger;
      font-weight: bold;
      color: FireBrick;}

/* Headers */

H1, H2, H3, H4, H5, H6 {
    color: FireBrick;
    font-weight: bold;
    page-break-after: avoid;}

/* Images */

a img {border: none;}

/* Links */

a:link {color: black;}
.menu a:link {text-decoration: none;  color: FireBrick;}

a:hover {text-decoration: overline underline;  color: black;}
.menu a:hover {text-decoration: overline underline;  color: FireBrick;}

a:active {color: purple;}
.menu a:active {text-decoration: none;  color: FireBrick;}

a:visited {color: black;}
.menu a:visited {text-decoration: none;  color: FireBrick;}

/* Lines and other accessories */

hr {border-top: solid;
    border-color: FireBrick;}