#banner div {
    margin: 10px 0px;
    overflow-wrap: break-word;
    flex-direction: row;
    flex-wrap: wrap;
    display: flex;
    align-items: center;
    justify-content: center;
}
#banner div a{
    margin: auto 5px auto 0px;
}
#banner div a:last-child:not(.log){
    margin: auto 5px auto 5px;
}
#log-body {
    display: flex;
    flex-direction: row;
}
.portion {
    /**/
}
.left.portion {
    width: 64vw;
    max-width: 850px;
}
.right.portion {
    min-width: 30vw;
    max-width: 34vw;
    min-height: 600px;
    height: 85vh;
    padding: 5px;
    margin: 0px 10px;
    overflow: scroll;
    background-color: rgb(70, 70, 70);
    color: rgb(209, 209, 209);
    position: sticky;
    top: 50px;
    left: 0px;
}
/*        ---------------        */
.tooltip, 
.tooltip-button {
    position: relative;
    display: block;
    border-bottom: 1px dotted black; /* If you want dots under the hoverable text */
    transition: .15s;
}
.tooltip-button:hover {
    background-color: rgb(219, 219, 219);
    cursor: pointer;
}

.one {
    background-color: rgb(246, 247, 232);
}
.two {
    background-color: rgb(243, 231, 231);
}
.three {
    background-color: rgb(229, 243, 229);
}
.indented-child {
    text-indent: 1rem;
}
.tooltip .tooltiptext,
.tooltip-button .tooltiptext {
    visibility: hidden;
    width: auto;
    /*min-width: 35%;*/
    background-color: rgb(70, 70, 70);
    color: rgb(209, 209, 209);
    padding: 5px 0;
    border-radius: 6px;
    position: fixed;
    z-index: 1;
    top: 5px;
    right: 10px;
    /*left: 64%;*/
    padding: 5px 15px;
    overflow: scroll;
    max-width: 50%;
}

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

#log-choice {
    display: block;
}
.log.link {
    /* height: 28px; */
    border: none;
    font-family: inherit;
    font-size: 1em;
    margin: 5px 5px 5px 5px;
    padding: 5px 15px;
    display: block;
    width: fit-content;
    text-decoration: none;
    color: white;
    background: #097db3;
    border-radius: 2px 10px;
}
.log.link.active {
    color: rgb(0, 0, 0);
    background: #5ec9a0;
    font-style: italic;
}
.log.link:hover {
    background: #138cc4;
}
.log.link.active:hover {
    background: #63ddae;
}
div a.secondary.link {
    background-color: #f5efbd;
}
div a.config.link {
    background-color: #d3f5bd;
}