anchor.diff:  void enableShowHideInherited() {
     var showInherited = document.query('#show-inherited');
     if (showInherited == null) return;
  -  showInherited.dataAttributes.putIfAbsent('show-inherited', () => 'block');
  +  showInherited.dataset.putIfAbsent('show-inherited', () => 'block');
     showInherited.onClick.listen((e) {
  -    String display = showInherited.dataAttributes['show-inherited'];
  +    String display = showInherited.dataset['show-inherited'];
       if (display == 'block') {
         display = 'none';
         showInherited.innerHtml = 'Show inherited';
  
positive.code: void setupLocation() {
    // Figure out where we are.
    final body = document.query('body');
    currentLibrary = body.dataAttributes['library'];
    currentType = body.dataAttributes['type'];
    prefix = (currentType != null) ? '../' : '';
  }
  
  
negative.code:       display = 'block';
        showInherited.innerHtml = 'Hide inherited';
      }
      showInherited.dataset['show-inherited'] = display;
      for (var elem in document.queryAll('.inherited')) {
        elem.style.display = display;
      }
  