News for hackers. Stuff that matters.

reecehart

Which font depends on whether you're logged in (which is weird).

Why not use the default browser font?

In any case, an unwelcomed change for me.