chiark / gitweb /
css: clean up and remove redundant stuff from header styling.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 25 Jan 2018 18:03:44 +0000 (19:03 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 28 Jan 2018 15:19:08 +0000 (16:19 +0100)
commitf6d9363f92c5a6ff8eb4f20f7a6a7e19b3e61bd7
tree05c2954b842ea0fb8f0e1bd8e8722e90837b2748
parent706e5e8fcc26ae9919edc2a4255ff3624ed9a691
css: clean up and remove redundant stuff from header styling.

By accident the spacing between items was 1.75rem, now it's 2rem. Maybe
too much (but perfectly okay for submenus and the mobile layout), might
change later.
css/m-components.css
css/m-dark+doxygen.compiled.css
css/m-dark.compiled.css
css/m-light+doxygen.compiled.css
css/m-light.compiled.css