diff options
Diffstat (limited to 'search.html')
-rw-r--r-- | search.html | 12 |
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> |