[doc css] Tweak header size