diff .hgtags @ 7242:476daae2a94c

style: generate pygments.css directly with pygmentize -a This avoids 'sed' post-processing of the generated css. pygments.css can thus be generated with: pygmentize -S default -f html -a .code-highlight > kallithea/public/css/pygments.css
author Mads Kiilerich <mads@kiilerich.com>
date Sun, 15 Apr 2018 22:41:02 +0200
parents 9b9258f5e2b2
children 08fbf0562fa5
line wrap: on
line diff