h1 { font-size: 140%; }
h2, h3, h4, h5, h6 { font-size: 110%; }

body { font-family: "Times New Roman", Arial, serif; }
h1, h2, h3, h4, h5, h6 { font-family: Arial, Verdana, sans-serif; }

/* <BODY BGCOLOR="#D9E0E7" TEXT="#000000" LINK="#0000FF" VLINK="#A020F0" ALINK="#FF0000"> */

body { background: #D9E0E7; color: #000000; }
a:link    { color: #0000FF; background: transparent; }
a:visited { color: #A020F0; background: transparent; }
a:hover   { color: #cc3333; background: white; }
a:active  { color: #FF0000; background: silver; }

body { margin: 1em; }

p { max-width: 35em; }

hr { color: #0000FF; }
.pvm { color: #000000; }
.fig { font-weight: bold; }
