chiark / gitweb /
css: implement diff colors for the Pygments dark style.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 16 Oct 2018 11:55:37 +0000 (13:55 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 16 Oct 2018 11:55:37 +0000 (13:55 +0200)
commit3a7cb5f0f53b7dfe8b7ee1b353dbb2ad92441a6e
tree73bbd36f62a3f60243a66495f2024e4d82b81c7b
parente0d58360abc3d90b80b07a542468453e7f2b5bb9
css: implement diff colors for the Pygments dark style.
css/m-dark+doxygen.compiled.css
css/m-dark.compiled.css
css/pygments-dark.css
css/pygments-dark.py