/* TODO: local tweaks here */
@import url("https://fonts.googleapis.com/css?family=Open+Sans:400,700");
/* Custom Paper-Search stuff up here
 */
html {
  position: relative;
  min-height: 100%;
}
body {
  /* Margin bottom by footer height + a bit */
  /* padding-bottom: 100px; */
  padding-bottom: 300px;
}
footer {
  position: absolute;
  bottom: 0;
  width: 100%;
  /* Set the fixed height of the footer here */
  height: 19em;
  padding-top: 2em;
  margin-top: 15px;
  background-color: #c0c0c0;
}
.text-muted {
  color: #5f5f60;
}
footer a,
footer a:hover,
footer a:visited {
  color: #3f3f3f;
}
footer h5 {
  font-weight: bold;
  margin-bottom: 0px;
  margin-top: 0px;
}
.navbar-default {
  background-color: #333333;
}
.search-tab-content {
  padding: 8px 8px 8px 8px;
  border: 5px solid #b92f2f;
  background-color: #b92f2f;
  box-shadow: 0 1px 3px rgba(0,0,0,.25);
  margin-left: 0px;
}
.postnav-content {
  color: white;
  background-color: #555555;
  margin-top: -21px;
  padding-top: 12px;
  padding-bottom: 21px;
  margin-bottom: 12px;
}
.postnav-content a {
  color: white;
}
.postnav-content label {
  font-weight: normal;
}
.nav-tabs,
.nav-tabs > li > a,
.nav-tabs > li > a:hover,
.nav-tabs > li > a:focus,
.nav-tabs > li.active > a,
.nav-tabs > li.active > a:hover,
.nav-tabs > li.active > a:focus {
  border: none;
  border-top-left-radius: 0px;
  border-top-right-radius: 0px;
  border-image-width: 0px;
  margin-right: 0px;
  color: white;
  font-weight: bold;
}

/* Change font */
body,
.popover,
.tooltip,
h1, h2, h3, h4, h5, h6,
.h1, .h2, .h3, .h4, .h5, .h6 {
  font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
}