a:link   { color:"#0033CC"}
a:visited{color: "#0033CC"} 
a:hover   { color: silver  }
body    {margin: 0px;}
td.edfont,pre.edfont,ul.edfont,p.edfont{font-size: 16px; padding:3px 5px; font-family:"Courier","Courier New", "Arial", serif ;}
pre {margin:0px}
ul.edfont {margin-top:0px;margin-bottom:0px}