Tiny bug fixes: better CSS for topmenu if TinyMCEStyles are not enabled, added CSS for highlight color for page/file tree. Changed the name of primary author and send a new manual. Entire new top menu (basic script made by Peter Klein). Added User  Setup