.root {
    width: 100%;
    height: 100%;
    background-color: rgb(230, 230, 230);

    overflow-y: auto;
}

.root_spinner {
    width: 100%;
    height: 100%;
    background-color: rgb(230, 230, 230);

    display: grid;
    align-items: center;
    justify-content: center;
}

.content {
    padding: 8px 0px;
}

.tldr {
    font-style: italic;
    text-align: justify;
    padding: 4px 4px;
}

.header2 {
    margin-bottom: 16px;
}

.link {
    margin-left: 4px;
    margin-right: 4px;
}

.section_text {
    padding: 0px 4px;
    text-align: justify;
    margin-bottom: 8px !important;
}

.feature_table {
    margin: 24px 0px 32px 0px;
}

.tpch_table {
    margin: 16px 0px;
}

.micro_table {
    margin: 24px 0px 24px 0px;
}
