Set pygments color scheme

Use Monokai color scheme, and set background a bit darker (same color as
font color).