/* Compact skin — tighter density and smaller type; no color changes */
:root {
    --st-font-size-base:    8.5pt;
    --st-border-radius:     2px;
    --st-grid-hover-bg:     #cccccc;
}

.ui-tabs .ui-tabs-tab,
.ui-tabs .ui-tabs-anchor       { font-size: 8.5pt !important; }
