: none;
            overflow: auto;
            white-space: pre-wrap;
        }

        td.empty-result {
            text-align: center;
            vertical-align: middle;
        }

        .row-number {
            width: 1%;
            text-align: right;
            background-color: var(--table-header-color);
            color: var(--misc-text-color);
        }

        div.empty-result {
            opacity: 10%;
            font-size: 7vw;
            font-family: Liberation Sans, DejaVu Sans, sa