acceptor.acceptDefaultHighlighting(TASK_ID, "Tasks", taskTextStyle());
}
public TextStyle documentationBoldStyle() {
TextStyle textStyle = documentationPlainStyle().copy();
// // textStyle.getFontData()[0].setHeight(12);
// // Font f = new Font(Display.getCurrent(), "Arial", 12, SWT.BOLD);
// // textStyle.setFontData(f.getFontData());
// // changeHeight(textStyle, 12);
// // modifyFontData(textStyle, 12, SWT.BOLD);