Changed overall color scheme of developer-level documentation to a light-red color.  Also renamed Doxygen configuration used to generate developer documentation.  This will make it obvious at a glance whether somebody is reading the user documentation or developer documentation.