body {
  font-family: arial, sans;
  margin-left: 180px;
  background-color: #ffffff;
  color: #000000;
}

div.menu {
  position: fixed;
  left: 0px;
  top: 0px;
  width: 170px;
  background-color: #f0f0f0;
  height: 100%;
}

div.menu a {
  color: #000000;
  font-weight: bold;
  text-decoration: none;
  margin-left: 10px;
}

.searchfield { width: 90px; }
.searchbutton { width: 70px; }