docs: public String getStylesheetName()
      {
      	if (this.getProperty(DBParams.HELP) != null)
              return "menuhelp";
          else if (this.getProperty(DBParams.STYLESHEET) != null)
              return this.getProperty(DBParams.STYLESHEET);
          else 
              return "menus";
      }