table {margin-left: 10em;
       margin-right: 10em;
			 margin-top: 0.5em;}
			 
body {font-family: verdana, sans-serif;
      font-size: 0.8em;}

a:link {text-align: center; text-decoration: none;}

td.menu:hover {background-color: rgb(80%,80%,80%);}
td.menu {width: 25%; border-style: solid; border-width: 0.1em; border-color: rgb(80%,80%,80%);}
td.border {border-style: solid; border-width: 0.1em; border-color: rgb(80%,80%,80%);}

a.sourceforge:link {text-decoration: none;}

p {padding-left: 0.5em; padding-right: 0.5em;}

img {border: 0}
img.xhtml {padding-left: 7em;}