every page can be added to galaxy.base.js). Cleaned up history templates accordingly. Also, added scripts from IE7.js which fix many layout bugs in older versions of IE.