main {
    flex-grow: 1;
    display: flex;
    flex-direction: column;
}

hr {
    width: 100%;
}

#db-form,
#edit-form {
    display: flex;
    flex-direction: row;
    gap: 0.25em;
    margin: 0 2.5em;
    align-items: end;

    div {
        display: flex;
        flex-direction: column;
        flex-shrink: 1;

        #query,
        #object {
            flex-grow: 1;
        }
    }

    #query-box,
    #object-box {
        flex-grow: 1;
    }
}

#doc-box {
    display: flex;
    flex-direction: column;
    flex-grow: 1;
}

#document {
    text-wrap: nowrap;
    margin: 0 0.5em 0.5em 0.5em;
    flex-grow: 1;
    height: 80%;
    font-family: monospace, monospace;
}