/* Changes to default bootstrap style: */

body {
  padding-top: 80px;
  padding-bottom: 40px;
}

.jumbotron {
  padding: 25px 20px;
  margin-bottom: 15px;
}

.jumbotron h1 {
  text-align: center;
  font-size: 60px;
}

.jumbotron a:hover {
  text-decoration: none;
}

.table {
  width: auto;
}

/* padding for in-page bookmarks and fixed navbar */
section {
  padding-top: 60px;
}

/* background for error texts */
.errorbg {
  background-color: #ffcccc;
}