diff options
author | Michal Čihař <michal@cihar.com> | 2017-11-28 17:15:34 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2017-11-28 17:16:01 +0300 |
commit | f9c73c7b10e5c57bfb8deb965491f84c9d6623c7 (patch) | |
tree | 27dca967aa4bd4655babdbc785801591b7dae623 /doc | |
parent | cbbf0d5ccf8a4d1b03851407b93453786cd1d952 (diff) |
Remove special casing for font size
It is now stored in configuration in same way as any other setting.
Issue #13466
Issue #11688
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/config.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/config.rst b/doc/config.rst index e62b52da4a..1c5780b1a9 100644 --- a/doc/config.rst +++ b/doc/config.rst @@ -3219,6 +3219,13 @@ Theme manager settings Whether to allow different theme for each server. +.. config:option:: $cfg['FontSize'] + + :type: string + :default: '82%' + + Font size to use, is applied in CSS. + Default queries --------------- |