Enhancements

Better exit button, using reveal tagging for exit. Working in keyboard shortcuts to avoid conflict with IPython. Also added some commented css specifically for my theme.