diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2018-03-20 21:11:45 +0100 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2018-03-20 21:11:45 +0100 |
commit | 84f4b731d23bbcb1821eed46958bf73476f00543 (patch) | |
tree | 0e9cdad1372e3a29c96eabe8dd48105cb109e7a2 /docs/config.toml | |
parent | 61f6e9f63b0d2c8d7c3a2a88a3d2885c9a7d8165 (diff) | |
parent | 0a23baa6a90901f772c234107c4f12c16c76f4aa (diff) |
Merge commit '0a23baa6a90901f772c234107c4f12c16c76f4aa'
Diffstat (limited to 'docs/config.toml')
-rw-r--r-- | docs/config.toml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/config.toml b/docs/config.toml index 2c2743831..74b10fce0 100644 --- a/docs/config.toml +++ b/docs/config.toml @@ -16,18 +16,18 @@ pluralizeListTitles = false # We do redirects via Netlify's _redirects file, generated by Hugo (see "outputs" below). disableAliases = true - # Highlighting config (Pygments) # It is (currently) not in use, but you can do ```go in a content file if you want to. pygmentsCodeFences = true pygmentsOptions = "" # Use the Chroma stylesheet -pygmentsUseClasses = true +# TODO(bep) build new CSS when we have picked a new style. +pygmentsUseClasses = false pygmentsUseClassic = false # See https://help.farbox.com/pygments.html -pygmentsStyle = "friendly" +pygmentsStyle = "trac" [outputs] home = [ "HTML", "RSS", "REDIR", "HEADERS" ] |