Disable pre/code font override

Maybe this will also convince GitHub Pages to rebuild the site instead
of twiddling its thumbs for an hour.