body {
        background-color: #000222;
	color: #888bb3;
	width: 750px;
      }
      div.titlebar {
        text-align: center;
	font: 24pt bold sans-serif;
	padding: 20px;
	border-bottom: 2px solid #000111;
      }
      div.navigation {
        text-align: left;
        background-color: #000444;
	padding: 10px;
	width: 150px;
	/* float: left; */
	position: absolute;
	border-style: solid;
	border-width: 2px;
	border-color: #000111;
	border-top-width: 0px;
      }
      div.navigation a {
        padding: 10px;
        text-decoration: none;
	color: #888bb3;
	display: block;
      }
      div.navigation a:visited {
        text-decoration: none;
	color: #888bb3;
      }
      div.navigation a:hover {
        background-color: #000222;
	cursor: pointer;
      }
      div.content {
        position: absolute;
	left: 180px;
	width: 530px;
	margin: 20px;
      }
      div.content p {
	text-indent: 0.5in;
      }
      div.content h1 {
        font: 18pt bold sans-serif;
        font-variant: small-caps;
	margin-top: 0px;
	border-color: #888bb3;
	border-style: solid;
	border-bottom-width: 1px;
	border-right-width: 1px;
	border-top-width: 0px;
	border-left-width: 0px;
	display: inline;
      }
      div.content dt {
        font: 14pt bold sans-serif;
        padding-bottom: 14px;
	font-variant: small-caps;
      }
      div.content dd {
        padding-bottom: 21px;
      }