html {font-size: 10pt; font-family: Verdana, sans-serif;}
a {color: blue; text-decoration: none;}
a:hover {text-decoration: underline;}
big, .big {font-size: 140%; font-weight: bold;}
code, .code {font-weight: normal; font-family: Courier, monospace;}
.progress {text-decoration: blink;}

h2, h3, h4, h5, h6, blockquote {margin-bottom: 3pt; margin-right: 0;}
h3, h4 {margin-top: 8pt;}
blockquote, h5, h6 {margin-top: 4pt;}
.indent {padding-left: 2em;}