define character encoding so stuff doesn't look weird on *.github.io.