/* Move down content because we have a fixed navbar that is 50px tall */
body {
    padding-top: 50px;
    padding-bottom: 20px;
}

.jumbotron {
    margin-bottom: 0px;
    color: white;
    text-shadow: black 0.3em 0.3em 0.3em;

    background-position: 0% 25%;
    background-size: cover;
    background-repeat: no-repeat;
    background-color: #24404b;
}

@media screen and (min-width: 768px) {
div#news {
    background-image: url(img/selfie6.png);
}

div#papers {
    background-image: url(img/papers.png);
}

div#software {
    background-image: url(img/code2.png);
}

div#positions {
    background-image: url(img/nyhavn.png);
}

div#people {
    background-image: url(img/people.png);
    background-color: #606e6c;
}

div#contact {
    background-image: url(img/letter.png);
}

div#CV {
    background-image: url(img/CV2.png);
}
}

img.teaser {
    width: 200px;
    padding-bottom: 1em;
}

img#gbutton {
    height: 30px;
}

pre {
    line-height: 110%;
}