Prepare for new docs, remove user docs as they move to own repo

This commit is contained in:
Raphael Michel
2025-01-30 22:45:03 +01:00
parent a6d1af01d2
commit 77c4cfbca8
137 changed files with 87 additions and 6467 deletions

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" %}

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;