body {
    font-family: 'Segoe UI', sans-serif;
    margin-top: 0em;
    margin-bottom: 1em;
    margin-left: 1em;
    margin-right: 1em;
}
a.mainmenu {
    padding-top: 0pt;
    padding-bottom: 2pt;
    padding-right: 5pt;
    padding-left: 5pt;
    margin-top: 0px;
}

.main-body {
    display: flex;
    flex-direction: row;
    align-items: flex-start;
    grid-row-gap: 1em;
    grid-column-gap: 1em;
    flex-wrap: wrap;
}

.outputbox {
    display: flex;
    flex-direction: column;
    flex-wrap: wrap;
    justify-content: space-between;
    align-content: space-between;
    column-gap: 1em;
    grid-row-gap: 0.5em;
    width: 40em;
    height: 44em;
    float: left;
}

.parameterbox {
    display: flex;
    flex-direction: column;
    flex-wrap: wrap;
    justify-content: space-between;
    column-gap: 0.5em;
    grid-row-gap: 0.5em;
    width: 28em;
    height: 44em;
    float: left;
}

.turtlebox {
    display: flex;
    flex-direction: column;
    flex-wrap: wrap;
    align-content: space-between;
    justify-content: space-between;
    column-gap: 0.5em;
    grid-row-gap: 0.5em;
    width: 28em;
    height: 44em;
}


.valuebox {
    display: flex;
    flex-direction: column;
    align-content: space-between;
    justify-content: space-between;
    border: solid 1px;
    grid-row-gap: 5px;
    padding: 5px;
}

.valueline {
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    grid-column-gap: 5px;
}

.rulesbox {
    display: flex;
    flex-direction: column;
    align-content: space-between;
    justify-content: space-between;
    grid-row-gap: 5px;
    padding: 5px;
}


.tooltip {
    position: relative;
    display: inline-block;
}

.tooltip .tooltiptext {
    visibility: hidden;
    width: 300px;
    background-color: black;
    color: #fff;
    text-align: left;
    border-radius: 6px;
    padding: 5px 5px;
    /* Position the tooltip */
    position: absolute;
    z-index: 1;
}

.tooltip:hover .tooltiptext {
    visibility: visible;
}

.tooltip-inner {
    white-space: pre;
    max-width: none;
}