change pygments theme to manni