User blog comment:Sarah Manley/Try the New Wikia Editor/@comment-824313-20110623203808/@comment-126761-20110624125642

For a second I read that as 9px, not 9pt and wondered if you had amazing zoom vision :) The font size is something we're looking at. We bumped it up slightly due to some initial feedback, but we are considering further tweaks.