chiark / gitweb /
css: reduce size of the jumbo header.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 21 Feb 2023 10:50:08 +0000 (11:50 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 21 Feb 2023 10:50:08 +0000 (11:50 +0100)
commitf1f5959a251cd53c7f2a74b768e8a3ac9a745204
treeb35ac7d036e452683ee7d0bbadb502c56342dd5a
parent946c12e9ee8ec58e574cbaf623a009112435b5ff
css: reduce size of the jumbo header.

The previous size was unbearable with longer titles such as in
https://blog.magnum.graphics/backstage/cpu-feature-detection-dispatch/
css/m-dark+documentation.compiled.css
css/m-dark.compiled.css
css/m-layout.css
css/m-light+documentation.compiled.css
css/m-light.compiled.css