diff options
| -rw-r--r-- | doc/prolog.inc | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/doc/prolog.inc b/doc/prolog.inc index 7297d9939..6c89551e4 100644 --- a/doc/prolog.inc +++ b/doc/prolog.inc @@ -12,3 +12,7 @@  .. |hr| raw:: html     <hr /> + +.. role:: pycode(code) +   :language: python +   :class: highlight | 
