code: private void setHeight(int height) {
  
          m_borderRight.getStyle().setHeight(height, Unit.PX);
          m_borderLeft.getStyle().setHeight(height, Unit.PX);
          m_borderBottom.getStyle().setTop(height, Unit.PX);
      }
docs: Sets the highlighting height.<p>
  
  @param height the height