body {
  font-family: sans-serif;
  width: 80%;
  margin-left:auto;
  margin-right:auto;
}

.main_content {
  background: white;
  border:5px solid #EBECEC;
  padding-left: 5px;
  padding-right: 5px;
  padding-bottom: 5px;
}

.header {
  background: #27849A;
  border-top: 5px solid #32A8C4;
  border-left: 5px solid #32A8C4;
  border-right: 5px solid #32A8C4;
  color:white;
  padding-left: 20px;
  padding-top: 0px;
  padding-bottom: 5px;
}

.header a:active, .header a:link, .header a:visited {
  text-decoration: none;
}

.header a:hover {
  text-decoration: underline;
}


.navbar, {
  font-size: 80%;
  color: white;
}

.breadcrumbs {
  font-size: 60%;
  color: white;
}

.navbar a:active, .navbar a:link, .navbar a:visited {
  text-decoration: none;
  color: white;
}

.navbar a:hover {
  text-decoration: underline;
  color: white;
}


.main_content h1, .main_content h2, .main_content h3 {
  color: #27849A;
}

h1 {
  font-size: 1.5em;
  font-weight: normal;
}

h2 {
  font-size: 1.3em;
  font-weight: normal;
}

h3 {
  font-size: 1.1em;
  font-weight: normal;
}


.traverse_directory {
  font-weight: bold;
}

.traverse_file {
}

ul.digestive-functors-error-list {
  color: red;
  list-style-type: none;
  padding-left: 0px;
}

.grid {
  border-collapse: collapse;
  border-left: 1px solid black;
  border-right: 1px solid black;
}

.grid tr {
  border-top: 1px solid black;
  border-bottom: 1px solid black;
}

.grid td {
  border-left: 1px solid black;
  border-right: 1px solid black;
}

.grid tr:nth-of-type(even) {
  background: #EBECEC;
}

.future {
  background: rgba(0,0,0,0);
}

.active {
  background: rgba(0,255,0,0.3);
}

.expired {
  background: rgba(255,0,0,0.1);
}

.sha {
  font-family: monospace;
}

.timestamp {
  font-family: monospace;
}

.commit_msg {
  font-family: monospace;
  font-size:small;
}

td.test-passed {
  text-align: right;
  background: rgba(0,255,0,0.2);
}

td.test-failed {
  text-align: right;
  background: rgba(255,0,0,0.2);
}

td.test-indeterminate {
  text-align: right;
  background: rgba(255,255,0,0.2);
}

.mini {
  font-size: 80%;
  background-color: #FFF;
}

a:hover{
  color:maroon;
}