aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'search.html')
-rw-r--r--search.html12
1 files changed, 11 insertions, 1 deletions
diff --git a/search.html b/search.html
index ef92950..8a2c3f1 100644
--- a/search.html
+++ b/search.html
@@ -85,7 +85,17 @@
85 </div> 85 </div>
86 </div> 86 </div>
87 <div class="sphinxsidebar" role="navigation" aria-label="main navigation"> 87 <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
88 <div class="sphinxsidebarwrapper"><div class="relations"> 88 <div class="sphinxsidebarwrapper">
89<h1 class="logo"><a href="index.html"></a></h1>
90
91
92
93
94
95
96
97
98<div class="relations">
89<h3>Related Topics</h3> 99<h3>Related Topics</h3>
90<ul> 100<ul>
91 <li><a href="index.html">Documentation overview</a><ul> 101 <li><a href="index.html">Documentation overview</a><ul>
Powered by cgit v1.2.3 (git 2.41.0)