update to Monokai theme.