#plugin_tree {
    width: 33%;
    height: 200px;
    overflow-y: scroll;
}
table tbody td {
    line-height: normal;
}

.Theme--black,
.Theme--white {
    span.status.vhshift {
        margin-top: 8px !important;
    }
    table#plugin_table {
        margin-top: -43px !important;
    }
}