private static void injectStyles(IFrameElement sourceFrame, String styleText) {
Document iframeDocument = sourceFrame.getContentDocument();
HeadElement head = iframeDocument.getElementsByTagName("head").getItem(0).cast();
StyleElement styleTag = iframeDocument.createStyleElement();
styleTag.setInnerText(styleText);
head.appendChild(styleTag);
}
private final SpanElement columnMarker;
private String currentResourceUrl;