code: public boolean postProcess() {
          boolean success = true;
          if ( options.getStylesheetFile() == null ) {
              success &= copyResource(options.getJavadocVersion().getStylesheet(), "stylesheet.css", "CSS stylesheet");
          }
          if ( options.isHighlightEnabled() ) {
              success &= copyResource("highlight.pack.7.3.js", "highlight.pack.js", "highlight.js");
              success &= copyResource("highlight-LICENSE.txt", "highlight-LICENSE.txt", "highlight.js license");
              success &= copyResource("classref.txt", "classref.txt", "highlight.js class reference");
              success &= copyResource("highlight-styles/" + options.getHighlightStyle() + ".css", "highlight.css", "highlight.js style '" + options.getHighlightStyle() + "'");
          }
          else {
              success &= copyResource("no-highlight.css", "highlight.css", "no-highlight CSS");
          }
          return success;
      }
docs: Called after the standard Doclet *successfully* did its work.
  
  @return `true` if postprocessing succeeded.