Better CSS for hints
Better CSS for highlight
Two new doc pages