table.global-nav {
  width: 920px;
  margin-bottom: 10px;
}

table.global-nav th {
  padding-top: 5px;
  padding-bottom: 8px;
  width: 25%;
  border-bottom: 2px solid silver;
  cursor: pointer;
}

table.global-nav th.active {
  border-bottom: 2px solid #D26911;
}

table.global-nav th a:link, table.global-nav th a:hover, table.global-nav th a:visited {
  color: black;
  text-decoration: none;
}

div.head {
  font-size: large;
  margin-bottom: 10px;
}

div.head a {
  font-weight: bold;
}

div.container {
  width: 920px;
}

div.body {
  margin-bottom: 40px;
}

span.error-message {
  color: red;
}

.small {
  font-size: small;
}

.monospace {
  font-family: monospace;
}

.align-right {
  text-align: right;
}

span.description {
  color: gray;
}

table.table th {
  background-color: #d9edf7;
}

table.table-file-list td {
  background-color: #F8F8F8;
  font-size: small;
}

div.latest-commit {
  font-size: small;
  font-weight: normal;
}

div.block-header-1 {
  font-size: x-large;
  font-weight: bold;
}

div.block-header-2 {
  font-size: large;
  font-weight: bold;
}

div.block {
  padding-top: 10px;
  padding-bottom: 10px;
  border-bottom: 1px solid silver;
}

h1.wiki-title {
  margin-top: 0px;
}

#repository-url {
  background-color: white;
  cursor: default;
  width: 350px;
}

div.box {
  background-color: #efefef;
  padding: 2px;
  margin-bottom: 20px;
}

div.box-header {
  font-size: 120%;
  font-weight: bold;
  background-color: #e0e0e0;
  background-image: -moz-linear-gradient(#fafafa, #e0e0e0);
  background-image: -webkit-linear-gradient(#fafafa, #e0e0e0);
  background-image: linear-gradient(#fafafa, #e0e0e0);
  background-repeat: repeat-x;
  margin: 0;
  border-top-left-radius: 1px;
  border-top-right-radius: 1px;
  border: 1px solid #d8d8d8;
  border-bottom: none;
  padding: 10px 10px 11px 10px;
  text-shadow: 0 1px 0 #fff
}

div.box-content {
  background-color: white;
  border: 1px solid silver;
  padding: 4px;
}

th.box-header {
  background-color: #e0e0e0;
  background-image: -moz-linear-gradient(#fafafa, #e0e0e0);
  background-image: -webkit-linear-gradient(#fafafa, #e0e0e0);
  background-image: linear-gradient(#fafafa, #e0e0e0);
  background-repeat: repeat-x;
  margin: 0;
  border-top-left-radius: 1px;
  border-top-right-radius: 1px;
  border: 1px solid #d8d8d8;
  border-bottom: none;
  text-shadow: 0 1px 0 #fff
}


dl {
  margin: 0px;
}

dd {
  margin-left: 20px;
}

hr {
  margin-top: 4px;
  margin-bottom: 4px;
}