html {font-size: 125%}
body {margin: 0; padding: 0; background-color: #228B22; font-family:"Times New Roman", Times, serif; font-size:50%;} 

#navigation {font-family:"Times New Roman", Times, serif; position:absolute; top: 8px; left:0;}
#navigation ul {list-style: none; margin-bottom: 0; padding: 1em;}
#navigation li {display: inline;}
#navigation a {margin-right: 0.5em; padding: 0.4em 1em 0.4em 1em; color: #FFFFFF; background-color: #191970; text-decoration: none; border: 2px solid; border-color: #7979E4 #000000 #000000 #7979E4; font-size: 1.1em;}
#navigation a:hover {position: relative; top: 1px; left: 1px; border-color: #000000 #7979E4 #7979E4 #000000;}