From 40327dea9ae71154f2b32c712a554895865d460e Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Sat, 16 Apr 2022 12:49:52 +0300 Subject: [PATCH 1/3] Infra: remove one of the four instances of title at top of pages --- pep_sphinx_extensions/pep_theme/static/style.css | 3 --- pep_sphinx_extensions/pep_theme/templates/page.html | 1 - 2 files changed, 4 deletions(-) diff --git a/pep_sphinx_extensions/pep_theme/static/style.css b/pep_sphinx_extensions/pep_theme/static/style.css index ee835185e48..43d20863cf5 100644 --- a/pep_sphinx_extensions/pep_theme/static/style.css +++ b/pep_sphinx_extensions/pep_theme/static/style.css @@ -300,9 +300,6 @@ dl.footnote dd { #pep-sidebar ul a { text-decoration: none; } -#toc-title { - font-weight: bold; -} #source { padding-bottom: 2rem; font-weight: bold; diff --git a/pep_sphinx_extensions/pep_theme/templates/page.html b/pep_sphinx_extensions/pep_theme/templates/page.html index 422a9b8f41b..e2db8802f4f 100644 --- a/pep_sphinx_extensions/pep_theme/templates/page.html +++ b/pep_sphinx_extensions/pep_theme/templates/page.html @@ -33,7 +33,6 @@

Python Enhancement Proposals