Cool, thank you very much for this quick patch! However, the font used for the blog’s title in the header still doesn’t have these characters.
Also, could you add the following ones (if you haven’t already)? · (U+00B7) ç (U+00E7) × (U+00D7) « (U+00AB) » (U+00BB) – (U+2013) — (U+2014) ’ (U+2019) € (U+20AC) → (U+2192) ↔ (U+2194) ↗ (U+2197) − (U+2212)