.navbar a {
  font-weight: bold;
}
.navbar a.navbar-brand {
  font-weight: bold;
  color: #e51937;
}
.navbar-form {
  margin-top: 10px;
  padding-right: 0;
}
h1, h2, h3 {
  margin-top: 0px;
  margin-bottom: 15px;
}
h4 {
  margin-top: 25px;
  margin-bottom: 15px;
}
.nomargin {
  margin: 0;
}
table.index {
  margin-bottom: 5px;
}
table.index input[type="checkbox"] {
  margin: 0;
}
ul.pagination {
  margin: 10px 20px 10px 0;
}
nav .btn {
  margin: 10px 0;
  vertical-align: top;
}
.center, .c {
  text-align: center;
}
/* Ignore .center and .c classes on across-style tables */
table.table-across .center, table.table-across .c {
  text-align: left;
}
.bold {
  font-weight: bold;
}