From 2dc72e8e131d91c4d0b46d3b4d8214a515fe6007 Mon Sep 17 00:00:00 2001 From: bptato Date: Mon, 26 Jun 2023 12:19:43 +0200 Subject: config: add stylesheet, apply siteconf to piped input --- doc/config.md | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'doc/config.md') diff --git a/doc/config.md b/doc/config.md index 2cf0a02d..f043541d 100644 --- a/doc/config.md +++ b/doc/config.md @@ -417,6 +417,16 @@ Defaults to false. in [encoding]. + +stylesheet +CSS stylesheet +Specify an additional user-stylesheet for this site. +Note: other user-stylesheets (specified under [css] or additional matching +siteconfs) are not overridden. (In other words, they will be concatenated +with this stylesheet to get the final user stylesheet.) + + + ## Stylesheets -- cgit 1.4.1-2-gfad0