Stylesheet font changes?

I think I saw a stylesheet font change cvs comit scroll by. I don't think that was a good idea. The manual is quite messed up in a number of places now. Examples Font sizes jump up and down in: http://php.net/manual/en/control-structures.declare.php And they go absolutely insane in: http://php.net/manual/en/security.php Would probably be good to revert this change. -Rasmus