From 9827851507dfdea3accf3bc9ed6f5b58bfa0bd9c Mon Sep 17 00:00:00 2001
From: Yves Chevallier <yves.chevallier@heig-vd.ch>
Date: Thu, 1 Aug 2019 18:14:34 +0200
Subject: [PATCH] Wrap <span> around sectnum in HTML titles

---
 sphinx/writers/html5.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sphinx/writers/html5.py b/sphinx/writers/html5.py
index 9f23a4bc6..f37647189 100644
--- a/sphinx/writers/html5.py
+++ b/sphinx/writers/html5.py
@@ -299,7 +299,8 @@ class HTML5Translator(SphinxTranslator, BaseTranslator):
     def add_secnumber(self, node):
         secnumber = self.get_secnumber(node)
         if secnumber:
-            self.body.append('.'.join(map(str, secnumber)) + self.secnumber_suffix)
+            self.body.append('<span class="sectnum">%s</span>' %
+                '.'.join(map(str, secnumber)) + self.secnumber_suffix)
 
     def add_fignumber(self, node):
         # type: (nodes.Element) -> None