readme.header

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.or
g/TR/html4/loose.dtd">  
<html><head><style type='text/css'> 
h1 { color: #3c78b5; border-bottom: 3px solid #3c78b5; font-size: 180%; } 
h2 { color: #3c78b5; border-bottom: 2px solid #3c78b5; font-size: 140%; } 
h3 { color: #3c78b5; border-bottom: 1px dotted #3c78b5; font-size: 129%; } 
em { color: #0000FF; } 
code { font-size:12px; background-color:#f8f8ff; border:1px; } 
pre  { border: 1px dotted #3c78b5; background-color: #f8f8ff; margin: 1em 1em;} 
body { width: 80%; margin: 0 3em; } 
ul      { list-style: none; } 
</style></head><body> 