/* Used for styling explanations */
.title {
    text-align : center;
}
body {
    background-color: #fdf2e3;
    font-family: Georgia,'Times New Roman',serif;
    margin-left: auto;
    margin-right: auto;
    max-width: 1500px;
    padding: 20px;
}

/* Override Doxygen's font-size of 14px for a slightly larger font. */
body, table, div, p, dl {
    font-size: 12pt;
}

div.explanation,.textblock {
    text-align: justify;
    word-wrap: break-word;
    line-height: 1.5em;
}

div.explanation_text {
    padding: 0.0em 1.0em 0.0em 1.0em;
}

img.explanation_image {
    padding: 0.0em 1.0em 0.0em 1.0em;
    float: right;
}

div.panel {
    background-color: white;
    border: thin solid black;
    padding: 0.2em 0.5em 0.2em 0.5em;
}

.tab {
    background-color: lightgray;
    width: 5.0em;
    text-align: center;
    border-block-style: solid;
    border-block-width: thin;
}

.tab_selected {
    background-color: white;
    font-weight: bold;
    border-block-width: thick;
}