Typo fixes, better intro, CSS
Fix #2, generate a quick jump menu in javascript