avoid modifying shared HTMLEditorKit.getStyleSheet()