compiled latest docs
removed karma as of now
tweaked styling of editor
tweaked dropdown, tooltip styles
refactored api, ability to add shortcuts via plugins