.white a, .white a:visited, .white a:hover{
  color: white;
}

h1{
  font-size: 1.5em;
  margin: 5px 0px 5px 0px;
}

.box {
  margin: 20px;
  width: 400px;
  border: 1px solid black;
  padding: 5px;
}

code {
  border: 1px solid black;
  background-color: #CCCCCC;
  padding: 2px;
  margin: 5px;
  display: block;
}

.box div{
  margin-top: 5px;
}

div.left {
  float: left;
}

div.right {
  float: right;
}

#header li{
  background-color: #367889;
  text-align: center;
  padding: 10px;
  width: 100px;
  min-height: 25px;
  float: left;
  list-style: none;
  margin-left: 5px;
}
#header li a{
  color: white;
}
#header li.selected a{
  color: #003d4c;
}
#header li.selected {
  color: blue;
  background-color: white;
}

div.top_login img{
  vertical-align: text-top;
}