/*content CSS Boom*/



body {
}

table {
}

tr {
}

td {
    vertical-align: top; /* oben */
    text-align: left; /* links */
}

h1 {
    background-color: darkgray;
    color: white;
    display: block;
    margin-top: 12px;
    margin-bottom: 6px;
    padding: 6px;
}

h2 {
    display: block;
    margin-top: 6px;
    margin-bottom: 3px;
}

h3, h4, h5, h6 {
    margin-top: 3px;
    margin-bottom: 1px;
}


.comments {
    padding: 2px;
    background-color: lemonchiffon;
    font-size: smaller;
}

.sourceReference {
    color: darkgray;
    font-style:italic;
    font-size: 0.9em
}

    .sourceReference:before {
        content: "\2192";
        font-weight: bold;
        font-size: 1.1em;
    }

    .sourceReference a {
        color: blueviolet;
        font-weight: bold;

    }

.variable {
    font-family: 'Courier New', Courier, 'Lucida Sans Typewriter', 'Lucida Typewriter', monospace;
    background-color: none;
    color: darkviolet;
    font-weight: bold;
    font-size: 1.1em
}

    .variable:before {
        content: "\23";
        font-size: 1.4em
    }

.hlOK {
    padding: 2px;
    background-color: palegreen;
}

.hlError {
    padding: 2px;
    background-color: lightsalmon;
}

.hlProposed {
    padding: 2px;
    background-color: lightpink;
}



div.page-header {
    background-color: darkgray;
    padding: 10px;
    background: linear-gradient(to right, white, blue, darkgrey);
    height: 80px;
}

h1.page-header, h2.page-header, h3.page-header, h4.page-header {
    margin: 0; /* Removes default margin */
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis; /* If you want to clip the text */
}

img.page-header {
    height: 150%;
}

.header-image {
    width: auto; /* Adjust as needed */
    height: 50px; /* Adjust as needed */
}

h1 {

}

.navbar-nav {
    justify-content: flex-end;
}

/* Additional styling as needed */