button:focus {
    outline-color: var(--vscode-focusBorder) !important;
}
button:hover {
    cursor: pointer;
}

#symbols {    
    border: 1px solid var(--vscode-panel-border);
}
#proppanel {
    height: 150px;
    display: flex;
    flex-direction: column;
    align-items: stretch;
    justify-content: stretch;
}
#prop {
    flex: 1 1 100px;    
}

.headpanel {
    flex: 0 0 auto;    
    margin: 0;
    padding: 4px;
    border-top: 1px solid var(--vscode-panel-border);
}
.headpanel .hptitle {
    font-weight: bold;
    padding: 2px;
}
.headpanel .hptext {
    padding: 2px 10px; 
    overflow: hidden;
}
.headpanel .hptbar {
    display: flex;
    flex-direction: row;
    align-items: stretch;
    justify-content: stretch;
}
.headpanel .hptbar .hpbtn {
    flex: 0 0 24px;
    height: 18px;
    background-position: center center;
    background-size: 16px;
    background-repeat: no-repeat;
    background-color: transparent;
    border: 0px none;
}
.headpanel .hptbar .hptitle {
    flex: 1 1 auto;
}

.gutter {
    background-color: var(--vscode-panel-border);
    cursor: ns-resize;
    margin: 0;
}

.vscode-dark .btnico-refresh, .vscode-high-contrast .btnico-refresh {
    background-image: url(../../../resources/images/dark/refresh.svg);
}
.vscode-dark .btnico-sync, .vscode-high-contrast .btnico-sync {
    background-image: url(../../../resources/images/dark/sync.svg);
}
.vscode-dark .btnico-class, .vscode-high-contrast .btnico-class {
    background-image: url(../../../resources/images/dark/btn-class.svg);
}
.vscode-dark .btnico-treeview, .vscode-high-contrast .btnico-treeview {
    background-image: url(../../../resources/images/dark/btn-treeview.svg);
}
.vscode-light .btnico-refresh {
    background-image: url(../../../resources/images/light/refresh.svg);
}
.vscode-light .btnico-sync {
    background-image: url(../../../resources/images/light/sync.svg);
}
.vscode-light .btnico-class {
    background-image: url(../../../resources/images/light/btn-class.svg);
}
.vscode-light .btnico-treeview {
    background-image: url(../../../resources/images/light/btn-treeview.svg);
}
.hpbtn:hover, .htbtn-selected:hover {
    background-color: var(--vscode-toolbar-hoverBackground) !important;
}
.htbtn-selected {
    background-color: var(--vscode-toolbar-activeBackground) !important;
}
