div#logo {
  padding: 10px;
}
.pipe {
  color: #666;
  padding-left: 7px;
  padding-right: 7px;
}
div#main {
  margin: 0 20px;
}
.table-nonfluid {
  width: auto;
}
.nodisplay {
  display: none;
}
.center, .c {
  text-align: center;
}
.nav {
  font-weight: bold;
  margin-bottom: 20px;
}
.bold {
  font-weight: bold;
}
.jumbotron {
/* background-color: #267aa6; */
/* background-color: #428bca;
  color: #fff; */
}