set monokai theme. set line numbers. tweak php mode.