anchor.diff:        document.querySelector(".frames li")
       ).onclick();
   
  +    // This is the second query performed for frames; maybe the 'allFrames' list
  +    // currently used and this list can be better used to avoid the repetition:
  +    var applicationFramesCount = document.querySelectorAll(
  +        "ul.frames li[data-context=application]"
  +    ).length;
  +
  +    var applicationFramesButtonIsInstalled = false;
       var applicationFramesButton = document.getElementById("application_frames");
       var allFramesButton = document.getElementById("all_frames");
       
  -    applicationFramesButton.onclick = function() {
  -        allFramesButton.className = "";
  -        applicationFramesButton.className = "selected";
  -        for(var i = 0; i < allFrames.length; i++) {
  -            if(allFrames[i].attributes["data-context"].value == "application") {
  -                allFrames[i].style.display = "block";
  -            } else {
  -                allFrames[i].style.display = "none";
  +    // The application frames button only needs to be bound if
  +    // there are actually any application frames to look at.
  +    var installApplicationFramesButton = function() {
  +        applicationFramesButton.onclick = function() {
  +            allFramesButton.className = "";
  +            applicationFramesButton.className = "selected";
  +            for(var i = 0; i < allFrames.length; i++) {
  +                if(allFrames[i].attributes["data-context"].value == "application") {
  +                    allFrames[i].style.display = "block";
  +                } else {
  +                    allFrames[i].style.display = "none";
  +                }
               }
  -        }
  -        return false;
  -    };
  +            return false;
  +        };
  +        
  +        applicationFramesButtonIsInstalled = true;
  +    }
       
       allFramesButton.onclick = function() {
  -        applicationFramesButton.className = "";
  +        if(applicationFramesButtonIsInstalled) {
  +            applicationFramesButton.className = "";
  +        }
  +
           allFramesButton.className = "selected";
           for(var i = 0; i < allFrames.length; i++) {
               allFrames[i].style.display = "block";
  
positive.code:         return false;
      };
      
      applicationFramesButton.onclick();
  })();
  </script>
  </html>
  
negative.code:         border-radius: 16px;
          box-shadow: 1px 1px 0 rgba(255, 255, 255, 0.1);
          text-shadow: 0 0 4px rgba(0, 0, 0, 0.4), 0 1px 0 rgba(0, 0, 0, 0.4);
      }
  
      nav.tabs a.disabled {
          text-decoration: line-through;
          text-shadow: none;
          cursor: default;
      }
  
      /* ---------------------------------------------------------------------
  