anchor.diff:    };
   
     //-----------------------------------------
  -  // refresh avatar navigator
  -  //    [<]avatar[>]
  +  // [<]avatar[>]
     //-----------------------------------------
   
     const refreshAvatarNavigator = () => {
  
positive.code:   setTrafficLightsCssWidth();
    setupButton('fork', () => cd.forkDialog(param.id, param.nowIndex));
    setForkButtonTip();
    if (!inTestPage()) {
      refresh();
    }
  
  
negative.code:   };
  
    const makeDiffCount = (diff, propertyName, cssName) => {
      if (!inDiffMode()) {
        return '';
      }
      const div = $('<div>', {
        'class': `diff-${cssName}-line-count button`,
  