body {
  font-family: Arial, sans-serif;
  background-color: #222;
  color: #DDD;
}

a { color: #fff; font-weight: bold; }

h1,h2 { text-align: center; }

div.container {
  height: 100%;
  width: 100%;
}

div.search input[type="text"] {
  border: 2px solid #fff;
  background-color: #aaa;
  font-weight: bold;
  width: 70%;
  font-size: 13px;
  height: 100%;
  padding: 3px;
}

div.search input[type="submit"] {
  color: #fff;
  text-shadow:0 1px 2px #333;
  font-size: 16px;
  cursor: pointer;
  background: -moz-linear-gradient(center top , #CFE782 0%, #9BCB2A 2%, #5DA331 97%, #659635 100%) repeat scroll 0 0 transparent;
  border: 1px solid #659635;
  font-weight: bold;
  padding: 2px;
  height: 100%;
  width: 24%;
  -moz-border-radius: 10px;
}

div#error {
  border: 2px solid #f00;
  background-color: #f88;
  color: #222;
  font-weight: bold;
  margin-top: 5px;
}

h3#func_name {
  color: #8b3;
}

div#func_decl {
  font-family: monospace;
}