Use a bigger font everywhere on our website
Now that the topbar (#15112 (closed)) freed some horizontal space, we could use it to have a bigger font by default and maybe a bit more with space as well.
Now that the topbar (#15112 (closed)) freed some horizontal space, we could use it to have a bigger font by default and maybe a bit more with space as well.