Use molokai theme
Use DejaVu font on non-windows platforms
Let the theme choose the colour for current line
Add lacarte for executing menu commands