* fix #22492

* Update nimdoc.css

remove scroll-y

* Update nimdoc.out.css

* Update nimdoc.css

* make it sticky again

* Update nimdoc.out.css

* danm sticky, use fixed

* Update nimdoc.out.css

* fix margin

* Update nimdoc.out.css

* make search input react to any change (not just keyboard events) according to https://github.com/nim-lang/Nim/pull/22511#issuecomment-1685218787
This commit is contained in:
Hamid Bluri
2023-08-22 20:01:21 +03:30
committed by GitHub
parent 602f537eb2
commit a26ccb3476
11 changed files with 22 additions and 20 deletions

View File

@@ -155,7 +155,7 @@ doc.body_toc_group = """
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput"
onkeyup="search()" />
oninput="search()" />
</div>
$body_toc_groupsection
$tableofcontents
@@ -189,7 +189,7 @@ doc.body_toc_group = """
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -767,15 +767,16 @@ div.topic {
div.search_results {
background-color: var(--third-background);
margin: 3em;
margin: 3vh 5vw;
padding: 1em;
border: 1px solid #4d4d4d;
position: sticky;
top: 0;
position: fixed;
top: 10px;
isolation: isolate;
max-width: calc(100vw - 6em);
z-index: 1;
max-height: 100vh;
overflow-y: scroll; }
max-height: calc(100vh - 6em);
overflow-y: scroll;}
div#global-links ul {
margin-left: 0;

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -767,15 +767,16 @@ div.topic {
div.search_results {
background-color: var(--third-background);
margin: 3em;
margin: 3vh 5vw;
padding: 1em;
border: 1px solid #4d4d4d;
position: sticky;
top: 0;
position: fixed;
top: 10px;
isolation: isolate;
max-width: calc(100vw - 6em);
z-index: 1;
max-height: 100vh;
overflow-y: scroll; }
max-height: calc(100vh - 6em);
overflow-y: scroll;}
div#global-links ul {
margin-left: 0;

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by:

View File

@@ -37,7 +37,7 @@
</ul>
</div>
<div id="searchInputDiv">
Search: <input type="search" id="searchInput" onkeyup="search()"/>
Search: <input type="search" id="searchInput" oninput="search()"/>
</div>
<div>
Group by: