# HG changeset patch
# User Mads Kiilerich <mads@kiilerich.com>
# Date 1523824862 -7200
# Node ID 476daae2a94cab7aba0f23ab16456208a7d16cea
# Parent  bfb6a25ecbd5e2febf263c56b4fdaa1d741800bf
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

diff -r bfb6a25ecbd5 -r 476daae2a94c kallithea/public/css/pygments.css
--- a/kallithea/public/css/pygments.css	Sun Apr 15 22:36:44 2018 +0200
+++ b/kallithea/public/css/pygments.css	Sun Apr 15 22:41:02 2018 +0200
@@ -1,4 +1,5 @@
 .code-highlight .hll { background-color: #ffffcc }
+.code-highlight  { background: #f8f8f8; }
 .code-highlight .c { color: #408080; font-style: italic } /* Comment */
 .code-highlight .err { border: 1px solid #FF0000 } /* Error */
 .code-highlight .k { color: #008000; font-weight: bold } /* Keyword */