@charset "UTF-8";
html, body {
  margin: 0;
  padding: 0;
  height: 100%; }

body {
  background-color: #193250;
  font-family: Georgia, Times, serifs; }

#floater {
  position: relative;
  float: left;
  height: 40%;
  margin-bottom: -200px;
  width: 1px; }

#centered {
  position: relative;
  clear: left;
  height: 390px;
  width: 82%;
  max-width: 800px;
  min-width: 400px;
  margin: 0 auto;
  background: #fff;
  border: 4px solid #666; }

h1 {
  font-size: 40px; }

#bottom {
  position: absolute;
  bottom: 0;
  right: 0; }

#nav {
  position: absolute;
  left: 0;
  top: 0;
  bottom: 0;
  right: 70%;
  padding: 20px;
  margin: 10px; }
  #nav ul {
    list-style: none;
    padding: 0;
    margin: 20px 0 0 0;
    text-indent: 0; }
  #nav li {
    padding: 0;
    margin: 3px; }

#content {
  position: absolute;
  left: 9%;
  right: 0;
  top: 0;
  bottom: 0;
  overflow: auto;
  height: 330px;
  padding: 20px;
  margin: 0px; }

a#speclink {
  display: block;
  background-color: #e8e8e8;
  padding: 7px;
  margin: 0;
  text-decoration: none;
  color: #000;
  border-bottom: 1px solid #bbb;
  text-align: right; }

a {
  padding: 7px;
  margin: 0;
  text-decoration: underline;
  color: #000;
  text-align: right; }

a#speclink::after {
  content: '»';
  color: #aaa;
  font-weight: bold;
  display: inline;
  float: right;
  margin: 0 2px 0 5px; }

a#speclink:hover, #nav li a:focus {
  background: #ccc;
  border-bottom-color: #777; }

a#speclink:hover::after {
  margin: 0 0 0 7px;
  color: #f93; }

a#speclink:active {
  padding: 8px 7px 6px 7px; }