html body {
  margin: 0px 0px 5px 0px;
  color: #333;
}

html body, table {
  font:small "Trebuchet MS",Verdana,Arial,Sans-serif;
}

#directory-filter {
  background: #eee;
  border-bottom: 1px solid #ccc;
  padding: 0 5px;
  margin-bottom: 5px;
}