private void markVisitedLinks() {
		if (!(textBody.getDocument() instanceof HTMLDocument))
			return;
		HTMLDocument doc = (HTMLDocument) textBody.getDocument();
		ElementIterator i = new ElementIterator(doc);
		Element e;
		AttributeSet as;
		Enumeration en;
		Object name;
		String str;
		SimpleAttributeSet sas;
		while ((e = i.next()) != null) {
			as = e.getAttributes();
			en = as.getAttributeNames();
			while (en.hasMoreElements()) {
				name = en.nextElement();
				if (name == HTML.Tag.A) {
					if (as != null)
						as = (AttributeSet) as.getAttribute(name);
					if (as == null)
						continue;
					str = (String) as.getAttribute(HTML.Attribute.HREF);
					if (FileUtilities.isRelative(str))
						str = page.resolvePath(str);
					if (!FileUtilities.isRemote(str))
						str = FileUtilities.useSystemFileSeparator(str);
					if (HistoryManager.sharedInstance().wasVisited(str)) {
						sas = new SimpleAttributeSet();
						StyleConstants.setForeground(sas, Page.getVisitedColor());
						doc.setCharacterAttributes(e.getStartOffset(), e.getEndOffset() - e.getStartOffset(), sas,
								false);
					}
					break;
				}
			}
		}
	}