add the monokai theme (GUI only)