chiark
/
gitweb
/
~cjwatson
/
blog.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
50d991b
)
doc: yet another order-dependent generation issue.
author
Vladimír Vondruš
<mosra@centrum.cz>
Mon, 8 Jun 2020 18:23:21 +0000
(20:23 +0200)
committer
Vladimír Vondruš
<mosra@centrum.cz>
Mon, 8 Jun 2020 18:23:21 +0000
(20:23 +0200)
doc/plugins/htmlsanity.rst
patch
|
blob
|
history
diff --git
a/doc/plugins/htmlsanity.rst
b/doc/plugins/htmlsanity.rst
index bba564d0c7b0eb0247902d677f65cb1178e6ae9b..c112fb35606df11f18ce39b3c089356e8f5eb4a0 100644
(file)
--- a/
doc/plugins/htmlsanity.rst
+++ b/
doc/plugins/htmlsanity.rst
@@
-32,6
+32,8
@@
HTML sanity
`Plugins <{filename}/plugins.rst>`_ | `Components » <{filename}/plugins/components.rst>`_
+.. role:: css(code)
+ :language: css
.. role:: html(code)
:language: html
.. role:: jinja(code)