code: package gr.uom.java.ast.decomposition.cfg.mapping.precondition;
  
  import org.eclipse.jface.viewers.StyledString.Styler;
  import org.eclipse.swt.SWT;
  import org.eclipse.swt.graphics.Font;
  import org.eclipse.swt.graphics.FontData;
  import org.eclipse.swt.graphics.TextStyle;
  
  public class BoldStyler extends Styler {
  
  	private static final Font CONSOLAS_BOLD_FONT = new Font(null, new FontData("consolas", 8, SWT.BOLD));
  
  	public void applyStyles(TextStyle textStyle) {
  		textStyle.font = CONSOLAS_BOLD_FONT;
  	}
  }
  