/* Changes to default bootstrap style: */

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

.jumbotron {
  padding-top: 10px;
  padding-bottom: 30px;
}

.jumbotron h1 {
  text-align: center;
}

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

.table {
  width: auto;
}

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

.nav-sidebar > li > a {
  padding-top: 5px;
  padding-bottom: 5px;
  line-height: 20px;
}

/* style for web interface for PAKCS: */
.codetextinput {
  font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
  font-size: 12px;
  width: 600px;
}

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