Always use monokai theme: fixed #1713

review: @devoncarew