setAttributes(SELECTOR_SELECTION, CSSStyleSheet.getAttributes(font));
setAttributes(SELECTOR_SELECTED_TAB, CSSStyleSheet.getAttributes(font));
    public void setSelectionFont(SFont font) {        setAttributes(SELECTOR_SELECTION, CSSStyleSheet.getAttributes(font));    }