The value previously set for `$base-font-size` in `variables` was
`16px`, which is a noble idea, but the only place it’s used is in
`sidebar`, where it was immediately overridden to `12px`. So, in reality,
it’s 12px.