anchor.diff:          ''');
   
       if (mode == MODE_STATIC) {
  -      for (final library in orderByName(world.libraries)) {
  +      for (final library in _sortedLibraries) {
           write('<h2><div class="icon-library"></div>');
   
           if ((_currentLibrary == library) && (_currentType == null)) {
  
positive.code: 
        world.resolveAll();
  
        // Generate the docs.
        if (mode == MODE_LIVE_NAV) docNavigationJson();
  
        docIndex();
        for (final library in world.libraries.getValues()) {
          docLibrary(library);
        }
      } finally {
  
negative.code: 
      final libraries = {};
  
      for (final library in _sortedLibraries) {
        docLibraryNavigationJson(library, libraries);
      }
  
  