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

style: change markdown to use code-highlight class as usual for pygmentize

This make the styling simpler.

pygments.css can thus be generated with:

pygmentize -S default -f html | sed 's/^\(.*\) { /.code-highlight \1 { /g' > kallithea/public/css/pygments.css

less: move non-generated parts of pygments.css to less file

The remaining parts of pygments.css can be generated with:

pygmentize -S default -f html | sed 's/^\(.*\) { /.code-highlight \1, .codehilite \1 { /g' > kallithea/public/css/pygments.css

less: remove unused .codeblock and .code-body style

I could not find any place where these are used.

style: change indentation of stylesheet to match future less output

Align the indentation of the stylesheet with the indentation that a
less-compiled version of this stylesheet would use. This will allow easy
comparison of the original and less-generated stylesheet in future commits.

style: remove empty lines in stylesheet to match future less output

Align the formatting of the stylesheet with the formatting that a less-compiled
version of this stylesheet would use. This will allow easy comparison of the
original and less-generated stylesheet in future commits.

pygments: update css for Pygments 2.2.0

Most of kallithea/public/css/pygments.css was created with Pygments 1.4 and a command like

pygmentize -S default -f html | sed 's/^\(.*\) { /.code-highlight \1, .codehilite \1 { /g' > kallithea/public/css/pygments.css

Now, the minimum supported version is 1.5 and the latest available version is 2.2.0 .

Recreate the file with latest version, Pygments 2.2.0 .

style: use plain Bootstrap with existing CSS styling

This is an intermediate step, trying to make our markup stay as close to plain
Bootstrap as possible, minimize the amount of customizations, and accept small
visual differences.

More long term, we will try to move to generated CSS with Bootstrap and our
customizations.

style: replace code-body etc with Bootstrap-ish panel and panel-heading, using panel-default for headers and tweak them grey

Based on work by Dominik Ruf.

Second step in two-part process to rename directories.
This is the actual directory rename.