Merge commit 'ed8bf081fdbf336e026517b7e1b123c039014ab5'

This commit is contained in:
Bjørn Erik Pedersen
2018-04-02 08:53:34 +02:00
18 changed files with 313 additions and 100 deletions

View File

@@ -22,8 +22,7 @@ pygmentsCodeFences = true
pygmentsOptions = ""
# Use the Chroma stylesheet
# TODO(bep) build new CSS when we have picked a new style.
pygmentsUseClasses = false
pygmentsUseClasses = true
pygmentsUseClassic = false
# See https://help.farbox.com/pygments.html