body > .container {
  padding: 0px 0px 0;
}
.container .text-muted {
  margin: 20px 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 {
  /* Margin bottom by footer height */
  /*margin-bottom: 60px;*/
}

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: #3333333;
    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 {
    color: red;
}

.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;   
}