body {
  margin: 0px;
  padding: 0px;
}

div.container {
  height: 100%;
  width: 700px;
  margin: auto;
  padding: 0px;
  text-align: center;
  font-family: Helvetica, Arial, sans-serif;
  font-size: 13px;
}

div.header {
  padding-bottom: 16px;
  font-size: 120%;
}

div.header h1 {
  font-weight: bold;
  font-size: 135%;
  text-align: center;
  margin-bottom: 2px;
}

div.header ul {
  margin-left: 0px;
  padding-left: 0px;
  display: inline;
  border: none;
}

div.header ul li {
  margin-left: 0px;
  padding-left: 2px;
  border: none;
  list-style: none;
  display: inline;
}

div.header ul li a {
  text-decoration: none;
}

div.links ul {
  margin-left: 0px;
  padding-left: 0px;
  list-style: none;
}

.invis {
  display: none;
}