body {
  padding: 0px;
  padding-top: 0px;
  padding-left: 0px;
  padding-right: 0px;
  padding-bottom: 0px;
  margin: 0px;
  margin-top: 0px;
  background: #888;
}

#menu {
  border: 0px solid #bbb;
  background-color: #eee;
  padding: 0px;
  margin: 0px;
  width: 11em;
  float: left;
}

.menu-item {
  border: 1px solid #bbb;
  border-left: 5px solid #bbb;
  border-right: 5px solid #bbb;
  background-color: #eee;
  padding: .25em;
  /*
  margin-left: 5px;
  margin-right: .45em;
  margin-top: 0em;
  margin-bottom: 0em;
  */
}

.menu-item:hover {
  background-color: #abb;
  border-left: 5px solid #444;
  border-right: 5px solid #444;
}

.menu-item-active:hover {
  border-left: 5px solid #444;
  border-right: 5px solid #444;
}

.menu-item-active {
  /* border-left: 1px solid #bbb;
  border-right: 1px solid #bbb;
  */
  border: 1px solid #888;
  background-color: #cdd;
  padding: .25em;
  border-left: 5px solid #888;
  border-right: 5px solid #888;
  margin: 0px;
}

div.menu-item a {
  color: #00f;
}

div.menu-item-active a {
  color: #22f;
}

.sub-menu {
  border: 1px solid #bbb;
  background-color: #ddd;
  margin: .15em;
  padding: 0em;
}

.sub-menu-item {
  background-color: #ddd;
  border-left: 1px solid #bbb;
  border-right: 1px solid #bbb;
  padding: .25em;
  margin: .15em;
  text-align: center;
}

.sub-menu-item-active {
  background-color: #eee;
  border-left: 1px solid #bbb;
  border-right: 1px solid #bbb;
  padding: .25em;
  margin: .15em;
  text-align: center;
}

#statusBox {
  border: 0px;
  border-top: 3px solid #bbb;
  border-bottom: 3px solid #bbb;
  background-color: #eee;
  width: 11em;
  height: 5em;
  overflow: auto;
  clear: left;
  float: left;
}

#statusBoxContent {
  border-left: 5px solid #bbb;
  border-right: 5px solid #bbb;
  background-color: #eee;
  height: 100%;
}

#content {
  border: 1px solid #bbb;
  background-color: #eee;
  padding: .25em;
  margin: .45em;
  width:   45em;
  margin-left: 11em;
  height: 40em;
  overflow: auto;
}

#footer {
  border: 1px solid #bbb;
  width: 10.5em;
  font-size: 50%;
  color: #333;
  background-color: #fff;
  padding: 1px;
  margin-top: 2em;
  margin-left: 22em;
}

#ads {
  margin-top: 1.25em;
  margin-left: 11em;
  background: white;
  border: 1px solid #bbb;
  width: 728px;
  height: 90px;
}

#repository_info, #source_repos, #helper_repos, #job_list, #job_stats, #req_list, .generic-info {
  margin-top: .25em;
  margin-bottom: .5em;
}

#repository_info_title, #source_repos_title, #helper_repos_title, #job_list_title, #job_stats_title, #req_list_title, .generic-title {
  width: 15em;
  font-size: large;
  color: #333;
  background-color: #ddf;
}

.attr-desc {
  background-color: #ddd;
  padding-left: 1em;
  padding-right: 1em;
}

.attr-val {
  padding-left: 1em;
  padding-right: 1em;
}

#package_index_section {
  text-align: center;
  margin-bottom: 1em;
}

#package_index_letter {
  margin: .15em;
  padding: .15em;
  background: #fff;
}

#package_index_letter_active {
  margin: .15em;
  padding: .15em;
  background: #ddd;
}

#header {
  font-size: 150%;
}

#fieldTitle {
  clear: both;
  width: 15em;
  font-size: 110%;
}

#field {
  margin-left: 3.5em;
  margin-bottom: .5em;
}

a {
  text-decoration: none;
}

.collapsed {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  /* border: 1px solid blue; */
  vertical-align: top;
}

.hidden {
  display:none;
}

table.collapsed {
  border-collapse: collapse;
  border-spacing: 0 0;
  empty-cells: hide;
}

.indent {
  padding-left: 2em;
}

.float_right {
  float:right;
  margin-left: .25em;
  margin-right: .25em;
}
.float_left {
  float:left;
  margin-left: .25em;
  margin-right: .25em;
}

a span {
  display: none;
}

a:hover span {
  display: block;
  position: absolute;
  top: 12.7em;
  left: .25em;
  border-left: 2px solid #eee;
  background-color: #fff;
  color: #000;
}


div.output_log {
  border: 0px;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  background: #ccc;
  margin-left: 0px;
  margin-right: 0px;
}

div.stdout {
  color: #008;
  margin-left: .5em;
}

div.stderr {
  color: #c00;
  margin-left: .5em;
}

div.log_stage {
  font-size: large;
  color: #888;
  margin-top: 1em;
}

div.log_stage a {
  color: #00f;
}

div.log_command {
  color: #000;
  margin-left: .5em;
}