I hate GitHub's big fonts. Semantics be damned.