body {line-height:1.2; width:95%}
p {font-size:medium; font-weight:normal}

h1 {font-size:xx-large; font-weight:bold; margin:12px 12px 0 12px; border-top:solid black medium}
div#menu {font-size:medium; margin:0 12px 12px 12px; border-bottom:solid black medium}

h2 {font-size:x-large; font-weight:bold; margin:8px; width:75%; border-bottom:solid black thin; border-left:solid black 1em}
h3 {font-size:large;   font-weight:bold; margin:4px; width:50%; border-bottom:solid black thin}
h4 {font-size:medium;  font-weight:bold}
hr {margin:0.5em 0; border:solid thin}
big  {font-size:large}
small{font-size:small}
strong,b {font-weight:bold}

table {border-collapse:collapse;}
table td {padding:2px 8px 0 8px; border:solid thin}
table th {font-weight:bold; padding:2px 8px 0 8px; border:solid thin}

ul.history {list-style:none; line-height:1.2; margin:2px; padding:0 0 0 1em;}
ul.history li {font-size:small;}

dt.list {float: left; }
dd.list {margin-left: 6em}
table.list {}
table.list td {padding:2px 8px 0 8px}
table.list th {font-weight:bold; padding:2px 8px 0 8px}

ul.desc {margin:1px 0 1px 0}
ul.desc li {margin:0 0 1px 0}

blockquote {font-family:monospace; white-space:pre-wrap; width:auto; border:solid thin  }