change pygments theme
add encoding to seeds file