chiark / gitweb /
css: dark pygments style update.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 22 Oct 2017 13:14:16 +0000 (15:14 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 22 Oct 2017 13:35:13 +0000 (15:35 +0200)
commiteba17ccbc0a29a7e82660bd6f9b765d06d73d5f0
tree71b769b7ae99431e81c53e9f25f0d7828f1d4c72
parent46dc587bd4f876d43546e601c798ca54af7e63a0
css: dark pygments style update.
css/pygments-dark.css
css/pygments-dark.py