div.title = details(box) + ' │ ' + src.FullName + (src.Inlined ? "\n(inlined)" : "");
    detailBox.innerText = summary(box.sumpos, box.sumneg);
    // Highlight all boxes that have the same source as box.
    toggleClass(box.src, 'hilite2', true);
  }

  function handleLeave(box) {
    if (actionMenuOn) return;
    detailBox.innerText = '';
    toggleClass(box.src, 'hilite2', false);
  }

                    try (Page page = context.newPage()) {
                        page.onPageError(onPageError)
                        page.navigate(configurationCacheReport.toURI().toString())
                        page.innerText(selector)
                    }
                }
            }
        }
    }