body {font-family: verdana, arial, helvetica, sans-serif; font-size: small}
a {text-decoration: none; color: #990000}

hr.thick {height: 10px}
hr.middle {width: 85%}

img.w3clogo {float: right; border: 0px}
img.lefthalf {float: left; border: 0px}
img.tight {float: right; border: 0px}

ul {margin-top: 0px; margin-bottom: 0px}
ul {margin-left:0px; padding-left:1em}
ul.vspaced li {padding:0.5em}

h1.title {font-size: x-large; text-align:center}
h1.pis {font-size: large; font-weight:normal; text-align:center}
h1.buttons {font-weight: normal; font-size: large; text-align:center}

h2 {background: #990000; color: #FFFFFF; font-size: large; font-weight:normal}

h3 {font-size: medium; margin-bottom:0px}

div.header {background: #990000; color: #FFFFFF}

table.body {width: 760px}