table a {text-decoration:none;

font-size:small;}



a:hover {color:red; background:lightblue;}



tr {text-align:left; vertical-align:top}



p.l {font-size:large;}



table.toc {background:#ccffff; align:center; 

margin-top:3em; width:97%;}



div.header {position:fixed; top:10px; 

right:20px; text-align:right; background:#ccffff; height:1.25em}



div.header a {text-decoration:underline}



div.main {margin: 20px 20px 15px 15px;}