code: private void setWidth(int width) {
  
          m_borderTop.getStyle().setWidth(width + BORDER_WIDTH, Unit.PX);
          m_borderBottom.getStyle().setWidth(width + BORDER_WIDTH, Unit.PX);
          m_borderRight.getStyle().setLeft(width, Unit.PX);
      }
docs: Sets the highlighting width.<p>
  
  @param width the width