From feeee57dbecf8f4425ae9a3467edc8c37c417e61 Mon Sep 17 00:00:00 2001
From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com>
Date: Sun, 28 Jul 2024 09:50:48 +0200
Subject: [PATCH] [HTML theme] sphinx13: include the project name in home link
 (#12700)

---
 doc/_themes/sphinx13/layout.html         | 2 +-
 doc/_themes/sphinx13/static/sphinx13.css | 9 +++------
 2 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html
index a260da976..c6657365a 100644
--- a/doc/_themes/sphinx13/layout.html
+++ b/doc/_themes/sphinx13/layout.html
@@ -14,8 +14,8 @@
   <div class="brand">
     <a href="{{ pathto(root_doc)|e }}">
       <img src="{{ pathto('_static/sphinx-logo.svg', resource=True) }}" alt="logo" />
+      <span>Sphinx</span>
     </a>
-    <h1>Sphinx</h1>
   </div>
   <div class="icons">
     <a href="https://github.com/sphinx-doc/sphinx" title="{{ _('Source Code') }}" target="_blank">
diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css
index 3c540f511..e008e2fa3 100644
--- a/doc/_themes/sphinx13/static/sphinx13.css
+++ b/doc/_themes/sphinx13/static/sphinx13.css
@@ -62,17 +62,14 @@ body {
     text-decoration: none;
 }
 
-.pageheader .brand a {
-    width: 2em;
-}
-
 .pageheader .brand img {
+    width: 2em;
     filter: invert(1) drop-shadow(1px 1px 2px black);
 }
 
-.pageheader .brand h1 {
+.pageheader .brand span {
     color: white;
-    margin: 0;
+    margin-left: 0.4em;
     font-weight: 400;
     font-size: 2em;
     line-height: 1;