.open_tab {
    font-style: italic;
}

.open_tab_parent {
    color: rgb(90, 90, 90);
    background-color: rgb(238, 238, 238);
}

.tab_parent {
    margin-left: .5em;
    margin-right: .5em;
    padding-left: 1em;
    padding-top: 0.5em;
    padding-right: 1em;
    padding-bottom: 0.5em;

    display: inline;
    border-top: 1px solid rgb(90, 90, 90);
    border-left: 1px solid rgb(90, 90, 90);
    border-right: 1px solid rgb(90, 90, 90);
}

.folder {
    margin: .5em;
    padding-left: 0.5em;
    padding-right: 0.5em;
}

a.tab, a.tab:hover, a.tab:focus, a.tab:active {
    color: inherit;
}