chiark / gitweb /
css: style search background separately from the header navbar.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 11 Sep 2019 10:50:56 +0000 (12:50 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 11 Sep 2019 10:51:47 +0000 (12:51 +0200)
commit8d9abd8a9044a16b0773d4d41cb49626b6dc77a4
tree155f676d86ca21e26a6f75bac70a0a50603eabd0
parent71d69008b2f92f75a44409490874dbc699c8ad28
css: style search background separately from the header navbar.

Otherwise it's too much of a pain with bright-colored headers. No
visual change to the builtin themes, just adding flexibility for 3rd
party ones.
css/m-documentation.css
css/m-theme-dark.css
css/m-theme-light.css