diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2018-04-02 08:53:34 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2018-04-02 08:53:34 +0200 |
commit | 558825cc201da2264be2e82d24fbf0d1105a0c2e (patch) | |
tree | 86c22851e65ec4b87d68a063e4772358a78e751b /docs/config.toml | |
parent | 10c33c17cdd66990b4b074a18213c47fc4eb956a (diff) | |
parent | ed8bf081fdbf336e026517b7e1b123c039014ab5 (diff) |
Merge commit 'ed8bf081fdbf336e026517b7e1b123c039014ab5'
Diffstat (limited to 'docs/config.toml')
-rw-r--r-- | docs/config.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/config.toml b/docs/config.toml index 74b10fce0..842b3df0a 100644 --- a/docs/config.toml +++ b/docs/config.toml @@ -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 |