From e1b51fb7c47234d454f1ecd686d6b4763430f271 Mon Sep 17 00:00:00 2001 From: Nathan Williis Date: Mon, 16 Sep 2024 12:49:12 +0100 Subject: [PATCH] Docs: set default highlight language to Python. --- Doc/source/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Doc/source/conf.py b/Doc/source/conf.py index 4976bd813..45603fb41 100644 --- a/Doc/source/conf.py +++ b/Doc/source/conf.py @@ -89,6 +89,9 @@ language = "en" # This patterns also effect to html_static_path and html_extra_path exclude_patterns = [] +# The programming language to be used by default in syntax highlighting. +highlight_language = "python" + # The name of the Pygments (syntax highlighting) style to use. # pygments_style = "sphinx" (the default sphinx docs style on RTD) pygments_style = "default"