
<!--

body { margin-left: 7%; 
       margin-right: 10%;
       font-family: verdana, Times, "Times New Roman";
       font-size: 9pt
}
table
{
font-size: 9pt
}
h1.frontpage {   font-family: "Garamond bold", Times, "Times New Roman"   }

table.CALSTABLE { text-align: left; 
        vertical-align: baseline;
        width: 100%;
	border: thin solid #7B68EE }

td.title { background-color: #9CD1FF; 
           width: 25%}
td.entry { background-color: #D1FFFF }

pre.programlisting { background-color: #D3D3D3 }

div.informaltable thead { background-color: #9CD1FF }

div.informaltable tbody { background-color: #D1FFFF }


-->