body > .container {
  padding: 0px 0px 0;
}

.footer > .container {
  padding-right: 15px;
  padding-left: 15px;
}

.logo-text {
    color: #415480;
    font-size: 25pt;
}

.small-logo {
    float: left;
    margin-top: 5px;
    margin-right: 5px;
}

h2 {
    color: #415480;
}

code {
  font-size: 80%;
}

a.sort:link{
    color : black;
}

a.sort:visited{
    color : black;
}

a.sort:hover{
    color : black;
}

a.sort:active{
    color : black;
}

/* Sticky footer styles
-------------------------------------------------- */
html {
  position: relative;
  min-height: 100%;
}

body {
    background: -webkit-linear-gradient(rgba(110, 200, 240, 1), rgba(255, 255, 255, 0)), url(../images/stars@2x.png);
    background: -o-linear-gradient(rgba(110, 200, 240, 1), rgba(255, 255, 255, 0)), url(../images/stars@2x.png);
    background: -moz-linear-gradient(rgba(110, 200, 240, 1), rgba(255, 255, 255, 0)), url(../images/stars@2x.png);
    background: linear-gradient(rgba(110, 200, 240, 1), rgba(255, 255, 255, 0)), url(../images/stars@2x.png);
    background-size: 100% 450px, auto auto;
    background-repeat: no-repeat;
}

.section-header {
    color: #333333;
    font-size: large;
    font-weight: lighter;
}

.menu-item {
    color: #757575;
    font-size: smaller;
}

.frontpage-item {
    padding-bottom: 30px;
}

footer {
    color: #ffffff;
    padding-top: 30px;
    margin-top: 20px;
    background-color: #333333;
    padding-bottom: 20px;
    display: block;
}

.review-doc-title-in-list {
	font-weight: bold;
}

.review-doc-title-in-list {
    font-weight: bold;
}

.review-doc-notes-in-list {
    padding-top: 5px;
    color: red;
}

.parent-external-link-in-list {
    padding-top: 5px;
}

.external-link-in-list {
    color: green;
}

.nav li a {
    padding-top: 10px;
    padding-bottom: 0px;
    padding-left: 0.6em;
    padding-right: 0.6em;
}

.navbar-brand {
    padding-top: 10px;
    padding-bottom: 0px;
    padding-left: 0.6em;
    padding-right: 0.6em;
}

/* modal dialog styles */

/* The Modal (background) */
.modal {
  display: none; /* Hidden by default */
  position: fixed; /* Stay in place */
  z-index: 1; /* Sit on top */
  left: 0;
  top: 0;
  width: 100%; /* Full width */
  height: 100%; /* Full height */
  overflow: auto; /* Enable scroll if needed */
  background-color: rgb(0,0,0); /* Fallback color */
  background-color: rgba(0,0,0,0.4); /* Black w/ opacity */
}

/* Modal Content/Box */
.modal-content {
  background-color: #fefefe;
  margin: 15% auto; /* 15% from the top and centered */
  padding: 20px;
  border: 1px solid #888;
  width: 80%; /* Could be more or less, depending on screen size */
}

/* The Close Button */
.close {
  color: #aaa;
  float: right;
  font-size: 28px;
  font-weight: bold;
}

.close:hover,
.close:focus {
  color: black;
  text-decoration: none;
  cursor: pointer;
}

/* Linebreaks */

td.respect-newlines, td > div.respect-newlines, div.respect-newlines {
    white-space: pre-wrap;
}

/* Spinner */
.spinning {
    animation: spin 1s infinite linear;
    font-size: 2em;
}

@keyframes spin {
    from { transform: rotate(0deg); }
    to { transform: rotate(360deg); }
}