body {
  margin: 0;
  padding: 0 }

div#header {
  padding: 10px 0 10px 0;
  margin: 0;
  background: #4a74c2;
  width: 1000px;}

#header h1 {
  margin: 0;
  color: white }

div.clearfloats {
  clear: both; }

div#body {
  padding: 0;
  margin: 0;
  width: 1100px;}

div#nav {
  margin: 0;
  padding: 0 0 0 10px;
  width: 160px;
  float: left;}

div#contents {
  margin: 0;
  padding: 0 10px 0 10px;
  border-left: 1px solid black;
  border-right: 1px solid black;
  width: 638px;
  float: left;}

div#info {
  margin: 0;
  padding: 0 0 0 10px;
  width: 160px;
  float: left;}

a.nav {
  font-weight: bold;
  text-decoration: none;}

a {
  text-decoration: none;}