add molokai theme and changed font to DejaVu Sans Mono