Fixed a bug whereby HTML tags could creep into HTML attributes.
Manual fix.
Fix for manual.
Lighter colors for manuals.
Improved CSS.