From 71334def42fc8b7af4a572a4541ac6199507e6fb Mon Sep 17 00:00:00 2001
From: Takayuki SHIMIZUKAWA <shimizukawa@gmail.com>
Date: Sat, 26 Oct 2019 15:35:06 +0900
Subject: [PATCH] doc: avoid font-size when :mod: role in headings

---
 doc/_themes/sphinx13/static/sphinx13.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css
index 3dadf8168..131657eb7 100644
--- a/doc/_themes/sphinx13/static/sphinx13.css
+++ b/doc/_themes/sphinx13/static/sphinx13.css
@@ -299,6 +299,11 @@ a.headerlink:hover {
     color: white!important;
 }
 
+/* avoid font-size when :mod: role in headings */
+h1 code, h2 code, h3 code, h4 code {
+    font-size: inherit;
+}
+
 cite, code, tt {
     font-family: 'Consolas', 'DejaVu Sans Mono',
                  'Bitstream Vera Sans Mono', monospace;