body { margin: 0; }
div.document { margin: 0.8em 1em 0.8em 1em; }
div.document p { margin-left: 1em; }
div.title { background-color: #003366; margin: 0px; padding: 10px 40px 10px 40px; display: block; }
h1.title { color: #FFC732; font-size: 45pt; display: inline; }
div.footer { background-color: #003366; margin: 3em 0px 0px 0px; padding: 10px 40px 10px 40px; display: block; text-align: right; }
div.footer p { color: #FFCC66; font-size: 14pt; font-weight: bold; display: inline; text-align: right; }
h2 { margin-left: 0.2em; font-size: 130%; font-weight: bold; border-bottom: 1px solid #000000; }
h3 { margin-left: 0.7em; font-size: 115%; font-weight: bold; border-bottom: 2px dotted #CCCCCC; }
h4 { margin-left: 1.2em; font-size: 110%; font-weight: bold; }
span.title { color: #FFC732; font-size: 18pt; display: inline; margin-left: 1em; }
span.subtitle { color: #FFCC66; font-size: 10pt; font-weight: bold; display: inline; text-align: right; display: block; }
pre { margin-left: 2em;
      margin-right: 2em;
      padding: 5px;
      border: gray 1px solid;
      background-color: #eeeeff }