Hello OEISwiki fans, is it possible to use another font (a fixed-width one for instance) for pages like this one? http://oeis.org/wiki/Eric_Angelini Best, É.