body         { font-family: arial, sans-serif; margin: .5em }

#header      {  }

.fig         { width: 100%; font-size: 80%; text-align: right; font-weight: bold;
               background-color: #EF1821; color: white; margin: 0; padding: 2px 4px 2px 0px }

#overall     { clear: both; margin: 10px }

#navigation  { float: left; margin: 5px 15px 5px 0; width: 20% }

#nav         { list-style-type: none; margin: 0 0 1em 0; text-align: right; padding: 0 }
#nav li      { margin-bottom: .5em; font-weight: bold }

#main        { float: left; margin: 5px; width: 75% }

#footer      { clear: both; border-top: 1px #666666 solid; margin-top: 1em }

p            { font-size: 80% }

li           { font-size: 80% }
li li        { font-size: 100% }.disperse li { margin-bottom: .8em }h2           { color: #EF1821; margin-top: 0 }
h3           { color: #EF1821; margin-top:30.0pt }
h4           { color: #EF1821 }
h6           { font-size: 80% }

dt           { font-size: 80%; margin-top: .7em }dd           { font-size: 80% }blockquote   { font-size: 80% }
blockquote p { font-size: 100% }

.card        { border: .1em solid #aaaaaa; padding: .2em; margin-top: 2em }

.smalltext   { font-size: 80% }
.contents    { font-size: 70% }.red         { color: #EF1821; font-size: 150% }.highlight   { color: #EF1821 }.box         { border: 1px solid #F70000; padding: 5px 10px }