* {
  margin: 0;
  padding: 0;
  font-weight: normal;
  font-size: 14px;
  font-family: sans-serif;
}

#search_form_container {
  background-color: #eee;
  width: 100%;
  margin: -8px 0px 20px -8px;
  padding: 16px 8px 10px 0;
  border-bottom: 2px solid #ddd;
  position: fixed;
  top: 0;
  left: 0;
}

#search_form_container table {
  width: 100%;
}

#search_form_container table td {
  padding: 3px 0;
  vertical-align: top;
  padding-left: 10px;
}

#search_form_container .input .label {
  width: 100px;
  text-align: right;
}

#search_form_container .input .field input {
  width: 100%;
  height: 20px;
  font-family: monospace;
}

#search_form_container .input .expand {
  width: 20px;
  padding: 3px 0px;
}

#search_form_container .input .expand a {
  color: black;
  font-weight: bold;
  text-decoration: none;
  display: block;
  width: 20px;
  height: 18px;
  background-color: #777;
  border: 1px solid #000;
  text-align: center;
  color: #fff;
}

#search_form_container .controls label {
  font-size: 13px;
  margin-right: 10px;
}

#search_form_container .controls #search,
#search_form_container .controls #spinner {
  float: right;
}

#search_form_container .controls #spinner {
  margin-right: 7px;
}

#recent_queries {
  position: absolute;
  top: 41px;
  left: 124px;
  right: 34px;
  border: 1px solid #000;
  background-color: #fff;
}

#recent_queries ul {
  list-style: none;
  height: 100px;
  overflow: auto;
}

#recent_queries ul li {
  padding: 3px 10px;
}

#recent_queries ul li:hover {
  background-color: #EDEDFD;
  cursor: hand;
}

#results_container {
  margin-top: 95px;
  margin-bottom: 25px;
}

#no_results,
#searching {
  font-weight: bold;
  font-size: 16px;
  text-align: center;
}

#results {
  padding: 0 10px 10px 10px;
}

#results table {
  width: 100%;
  padding: 0px;
  margin: 0px;
  border-spacing: 0px;
}

#results .filename,
#results .line_num {
  background-color: #eee;
  padding: 3px 10px;
}

#results .even {
  background-color: #F4F4F4;
}

#results .odd {
  background-color: #fff;
}

#results .file_heading {
  background-color: #eee;
  padding: 4px;
  font-weight: bold;
}

#results .file_heading img {
  float: left;
  margin-right: 2px;
}

#results .file_heading a {
  font-weight: bold;
  font-family: sans-serif;
}

#results .line_num {
  text-align: right;
  padding: 0 5px;
  min-width: 20px;
  cursor: hand;
  font-size: 12px;
  line-height: 12px;
  font-family: sans-serif;
}

#results .divider .line_num {
  cursor: default;
  text-align: center;
  background-color: #fff;
  color: #555;
}

#results .text {
  padding: 3px 10px;
  width: 100%;
  cursor: hand;
}

#results .text pre {
  font-size: 14px;
  line-height: 17px;
  font-family: monospace;
}

#results .divider .text {
  cursor: default;
}

#results .text pre span {
  background-color: #FFCCCC;
  font-weight: bold;
  font-family: monospace;
}

#results .break {
  height: 12px;
}

#results_summary {
  position: fixed;
  bottom: 0;
  left: 0;
  right: 0;
  font-size: 1.5em;
  font-family: sans-serif;
}

#results_summary .text {
  width: 300px;
  margin: 0 auto;
  background-color: #eee;
  border: 1px solid #ddd;
  text-align: center;
  border-top-left-radius: 1em;
  border-top-right-radius: 1em;
  padding: 3px 5px;
}