/* FILE: styledef.css */

body,p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,nobr,b,i,tt,pre,b,big,center
     { font-size:10pt; font-family:"Lucida console",Lucidatypewriter,monospace }