diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-01-03 02:04:36 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-01-03 02:41:17 +0900 |
commit | 5b392e39514eefe9ff2dea5d0b084f00c0f740cd (patch) | |
tree | c23ed600c820c1f920f54c3947d982857e277c60 /sphinx/application.py | |
parent | a9c7dd70374b60d9eee640f8c78694c0b568b589 (diff) | |
download | sphinx-git-5b392e39514eefe9ff2dea5d0b084f00c0f740cd.tar.gz |
refactor: Move CSS tags in basic/layout.html to ``css_files`` variable
To make CSS customizable, all CSS files in basic/layout.html has their
priority: 200. Therefore, extensions and users can insert their own
custom CSS files before or just after them.
As a side effect, the CSS tags in basic/layout.html are removed. These
CSS files will be rendered via `css_files` template variable.
refs: #8634, c5f03980107e123210fb602f4c31f5ae950e2af4
Diffstat (limited to 'sphinx/application.py')
-rw-r--r-- | sphinx/application.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sphinx/application.py b/sphinx/application.py index 4b4ebe64e..40098e92d 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -983,6 +983,8 @@ class Sphinx: * - Priority - Main purpose in Sphinx + * - 200 + - default priority for built-in CSS files * - 500 - default priority for extensions * - 800 |