chiark / gitweb /
css: make it possible to specify a different color for header breadcrumb.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 11 Sep 2019 10:52:26 +0000 (12:52 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 11 Sep 2019 10:52:26 +0000 (12:52 +0200)
commitc71bd16687fe18803b4e8780978786f761db9a40
treec9e451bac72f9627c3a984266f1ed2a2661291a4
parent8d9abd8a9044a16b0773d4d41cb49626b6dc77a4
css: make it possible to specify a different color for header breadcrumb.

With brightly-colored headers the usual dim color doesn't make sense.
No visual change to the builtin themes, only adding flexibility for 3rd
party styles.
css/m-layout.css
css/m-theme-dark.css
css/m-theme-light.css