code: public File getStylesheetPath()
      {
          String path = System.getProperty(STYLESHEET_KEY);
          return path == null ? null : new File(path);
      }
docs: If a custom CSS file has been specified, returns the path.  Otherwise
  returns null.
  @return A {@link File} pointing to the stylesheet, or null if no stylesheet
  is specified.