219220221222223224225226227228229
continue ; if (href.contains(":") || href.endsWith(".pdf")) { // external links AnchorElement aElement = a.cast(); aElement.setTarget("_blank") ; } else { // Internal links need to be handled in JavaScript so that