@Override
			public void propertyChange(PropertyChangeEvent evt) {
				String propertyName = evt.getPropertyName();
				if ("page".equals(propertyName)) {
					Msg.trace(this, "Page loaded: " + evt.getNewValue());
				}
			}
A mapping of known style sheet colors to convert from the values in the style sheet to colors
defined in the system theme.
Ghidra/Framework/Help/src/main/java/help/GHelpHTMLEditorKit.java