chiark / gitweb /
doc: yet another order-dependent generation issue.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 8 Jun 2020 18:23:21 +0000 (20:23 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 8 Jun 2020 18:23:21 +0000 (20:23 +0200)
doc/plugins/htmlsanity.rst

index bba564d0c7b0eb0247902d677f65cb1178e6ae9b..c112fb35606df11f18ce39b3c089356e8f5eb4a0 100644 (file)
@@ -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)