chiark / gitweb /
css: make it possible to control console color directly.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 11 Sep 2019 10:56:03 +0000 (12:56 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 12 Sep 2019 18:46:16 +0000 (20:46 +0200)
commitca825fe874ff44b235a1cdaed728ad2c9650d1f3
tree6e1760564f7550dfcac5c7b1ae6d415c3a0f1e9b
parentc71bd16687fe18803b4e8780978786f761db9a40
css: make it possible to control console color directly.

Having it the same as --code-color makes it impossible to have dark
console listings combined with light code listings. Also while at it,
made .m-inverted line highlighting work with console listings too.

This has a minor visual change for for higlighted .m-inverted lines --
probably by accident those were not reverted back to --code-color, but
rather --color, making them darker than they should be in the dark
theme.
css/m-components.css
css/m-dark+documentation.compiled.css
css/m-dark.compiled.css
css/m-light+documentation.compiled.css
css/m-light.compiled.css
css/m-theme-dark.css
css/m-theme-light.css