code: public String pageHtmlStyle(int segment, String title, String stylesheet) {
  
          if (segment == HTML_START) {
              StringBuffer result = new StringBuffer(512);
              result.append("<!DOCTYPE html>\n");
              result.append("<html>\n<head>\n");
              if (title != null) {
                  result.append("<title>");
                  result.append(title);
                  result.append("</title>\n");
              }
              result.append("<meta HTTP-EQUIV=\"Content-Type\" CONTENT=\"text/html; charset=");
              result.append(getEncoding());
              result.append("\">\n");
              result.append("<link rel=\"stylesheet\" type=\"text/css\" href=\"");
  
              result.append(getStyleUri(getJsp(), stylesheet == null ? "workplace.css" : stylesheet));
              result.append("\">\n");
              return result.toString();
          } else {
              return "</html>";
          }
      }
docs: Returns the default html for a workplace page, including setting of DOCTYPE and
  inserting a header with the content-type, allowing the selection of an individual style sheet.<p>
  
  @param segment the HTML segment (START / END)
  @param title the title of the page, if null no title tag is inserted
  @param stylesheet the used style sheet, if null the default stylesheet 'workplace.css' is inserted
  @return the default html for a workplace page