mirrors/discord.py
1
0
Fork 0
mirror of https://github.com/Rapptz/discord.py.git synced 2025-04-22 00:34:06 +00:00
Code Issues Projects Releases Wiki Activity

[matrix] Search to top, icon

Browse Source 
* Search bar to top, magnifying glass

* Remove old file

* Remove empty style directive
This commit is contained in:
Jens Reidel 2020-05-30 05:42:50 +02:00 committed by GitHub
parent d14bf7f412
commit f03ecdbc69
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/_static/style.css vendored
View File

@ -271,13 +271,13 @@ aside h3 {
/* search button stuff */
.searchformwrapper > form input {
.searchformwrapper > form input, button {
border: 1px solid var(--search-border);
padding: 0.25em;
flex-grow: 2;
}
.searchformwrapper > form input[type="submit"] {
.searchformwrapper > form button[type="submit"] {
border-left: none;
margin-right: 0.5em;
flex-grow: 8;

17
docs/_templates/layout.html vendored
View File

@ -71,8 +71,23 @@
</div>
<div id="sidebar">
{#- This is manually unrolled from the original layout #}
<div id="searchbox" role="search">
<h3>Quick search</h3>
<div class="searchformwrapper">
<form class="search" action="search.html" method="get">
<input type="text" name="q" />
<button type="submit">
<i class="fas fa-search"></i>
</button>
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div>
<script type="text/javascript">
$("#searchbox").show(0);
</script>
{%- include "localtoc.html" %}
{%- include "searchbox.html" %}
</div>
</aside>
{#- The actual body of the contents #}