diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index e9b2078f731..765e1784439 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -10,10 +10,17 @@ {% block header %} {% endblock %} @@ -60,3 +67,18 @@

{{ _('On this page') }}

{% trans sphinx_version=sphinx_version|e %}Created using Sphinx {{ sphinx_version }}.{% endtrans %} {%- endblock %} + +{% macro github_icon() %} + + + +{% endmacro %} diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css index 633a66a1719..35c7cbcbb19 100644 --- a/doc/_themes/sphinx13/static/sphinx13.css +++ b/doc/_themes/sphinx13/static/sphinx13.css @@ -23,21 +23,30 @@ body { display: flex; column-gap: 1em; align-items: center; + justify-content: space-between; width: 100%; background-color: var(--colour-sphinx-blue); padding: 10px 20px; box-sizing: border-box; } -.pageheader a { +.pageheader .brand { + display: flex; + align-items: baseline; + column-gap: 1em; + color: white; + text-decoration: none; +} + +.pageheader .brand a { width: 2em; } -.pageheader img { +.pageheader .brand img { filter: invert(1) drop-shadow(1px 1px 2px black); } -.pageheader h1{ +.pageheader .brand h1 { color: white; margin: 0; font-weight: 400; @@ -45,6 +54,18 @@ body { line-height: 1; } +.pageheader .icons a { + color: white; +} + +.pageheader .icons a:hover { + color: rgba(255, 255, 255, 0.8); +} + +.pageheader .icons svg { + height: 1.6em; +} + div.document { display: flex; margin: 0 0.5em;