code highlighting now uses monokai theme