Overriding the gist-breaking <pre> font-size setting.