Prepare for new docs, remove user docs as they move to own repo (#4819)

This commit is contained in:
Raphael Michel
2025-02-14 14:05:19 +01:00
committed by GitHub
parent f53ae59698
commit 2f2551cc71
137 changed files with 87 additions and 6467 deletions
+1
View File
@@ -115,6 +115,7 @@
{%- if logo or logo_url %}
<img src="{{ _logo_url }}" class="logo" alt="{{ _('Logo') }}"/>
{%- endif %}
Developer Documentation
</a>
{% include "searchbox.html" %}
+1 -1
View File
@@ -5183,7 +5183,7 @@ div[class^='highlight'] pre {
.wy-side-nav-search > a img.logo, .wy-side-nav-search .wy-dropdown > a img.logo {
display: block;
margin: 0 auto;
margin: 0 auto 10px;
height: 50px;
width: auto;
border-radius: 0;