The font difference probably comes from the A/B testing Gwern is doing: http://w...

		alecdbrooks on May 4, 2013 \| parent \| context \| favorite \| on: Predicting Google Product Shutdowns The font difference probably comes from the A/B testing Gwern is doing: http://www.gwern.net/a-b-testing#fonts.