code: protected void setBorder(Widget widget) {
  
          String cornerAll = org.opencms.gwt.client.ui.css.I_CmsLayoutBundle.INSTANCE.generalCss().cornerAll();
          String border = org.opencms.gwt.client.ui.css.I_CmsLayoutBundle.INSTANCE.generalCss().border();
          widget.addStyleName(border);
          widget.addStyleName(cornerAll);
          widget.getElement().getStyle().setPadding(6, Unit.PX);
      }
docs: Helper method for adding a border to a widget.<p>
  
  @param widget the widget which a border should be added to