html {
    position: relative;
    min-height: 100%;
}

.citation {
    font-style: italic;
}

.extra-top {
    margin-top: 50px;
}

.small-height {
    height: 90px;
}

.navbar-fixed-top.navbar-inverse a {
    color: rgba(255,255,255, 0.8);
    text-shadow: 1px 1px 0px rgba(200,200,200, 0.2);
}

.footer {
    background-color: #ccc;
    padding-top: 20px;
    padding-bottom: 40px;
    margin-top: 40px;
    color: #888;
}

.jumbotron {
    color: #fff !important;
    text-shadow: 1px 1px 0px rgba(0, 0, 0, 0.5);

    /* Permalink - use to edit and share this gradient: http://colorzilla.com/gradient-editor/#249b00+0,69aa5a+100 */
    background: rgb(36,155,0); /* Old browsers */
    background: -moz-linear-gradient(top, rgba(36,155,0,1) 0%, rgba(105,170,90,1) 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(36,155,0,1)), color-stop(100%,rgba(105,170,90,1))); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top, rgba(36,155,0,1) 0%,rgba(105,170,90,1) 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top, rgba(36,155,0,1) 0%,rgba(105,170,90,1) 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top, rgba(36,155,0,1) 0%,rgba(105,170,90,1) 100%); /* IE10+ */
    background: linear-gradient(to bottom, rgba(36,155,0,1) 0%,rgba(105,170,90,1) 100%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#249b00', endColorstr='#69aa5a',GradientType=0 ); /* IE6-9 */
}