body {
    padding-top: 100px;
}

h1, h2, h3, h4, h5, h6, a:link, a:active, a:hover, a:visited {
    /* Make all titles and links the same color, regardless of whether they
    are links. */
    color: rgba(18, 66, 154, 0.79);
}

a:active, a:hover {
    text-decoration: underline;
}

.navbar-brand {
    /* Gap between the logo and the name. */
    margin-right: 15px;
}

.navbar-brand img {
    /* Overwrite not helpful values from Bootstrap theme.css. */
    margin-left: 0;
    padding: 0;

    /* Make the logo a bit taller than than the containing paragraph and let
    it stick out at the top. */
    margin-top: -5px;
    width: 46px;
    height: 30px;
}

.navbar-right .dropdown-menu {
    /* Make dropdown menus left aligned so that the title and menu items more
    or less align. By default the menu's bounding box is right-aligned. */
    left: -8px;
    right: auto;
}

iframe.openstreetmap {
    border: 1px solid black;
    width: 100%;
    height: 400px;
}

video {
    width: 100%;
}

.protocol-list li {
    list-style: none;
}

.date-title-list {
    border: none;
}

.date-title-list > tbody > tr > td {
    background-color: white;
    border: none;
}

.img-small {
    width: 150px;
    padding: 0.5em 0.25em;
}

.img-medium {
    max-width: 300px;
    max-height: 300px;
    width: auto;
    height: auto;
    padding: 0.5em 0.25em;
}