.listing {
    width: calc(100% - 12px);
    height: 320px;
    overflow: auto;
    white-space: pre-wrap;
}

.variables {
    width: 100%;
    height: 320px;
    overflow: auto;

    table {
        width: 100%;
    }

    td {
        background-color: #fff;
        border: 1px inset;
        white-space: pre;
        font-family: monospace;
    }
}

.internals {
    width: 100%;

    table {
        width: 100%;
    }

    td {
        background-color: #fff;
        border: 1px inset;
        white-space: pre;
        font-family: monospace;
        width: 30%;
    }

    th {
        width: 20%;
        text-align: right;
    }
}

.stack {
    width: 10em;
}
