diff doc/Makefile @ 3268:85c9cfcd4f5e

tools (common/template): theme settings with possibility to disable default fallback for CSS: - themes can now have a `settings.json` file at their root to modify the renderer behaviour - the `css_default_fallback` boolean (true by default) can be used to disable the fallback mechanism when CSS files are checked. Useful when a theme doesn't follow the CSS naming of default theme. - introduced some type hints
author Goffi <goffi@goffi.org>
date Sun, 03 May 2020 17:01:39 +0200
parents ce16847a7b6d
children
line wrap: on
line diff