mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-07-20 16:01:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixes #7294; Nim doc search feature

Browse Source
This commit is contained in:
Araq
2018-03-05 13:16:46 +01:00
parent e3b6ee85b3
commit 8572085cc7
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
config/nimdoc.cfg
View File

@@ -75,7 +75,7 @@ doc.body_toc = """
<div class="row">
<div class="three columns">
<div>
Search: <input type="text" id="searchInput"
Search: <input type="text" id="searchInputDiv"
onkeyup="search()" />
</div>
$tableofcontents
@@ -109,7 +109,7 @@ doc.body_toc_group = """
</li>
</ul>
</div>
<div id="searchInput">
<div id="searchInputDiv">
Search: <input type="text" id="searchInput"
onkeyup="search()" />
</div>
@@ -139,7 +139,7 @@ doc.body_toc_group = """
<ul class="simple">
</ul>
</div>
<div id="searchInput">
<div id="searchInputDiv">
Search: <input type="text" id="searchInput"
onkeyup="search()" />
</div>
@@ -364,10 +364,10 @@ dd > pre {
table-layout: fixed; }
/* Nim search input */
div#searchInput {
div#searchInputDiv {
margin-bottom: 8px;
}
div#searchInput input#searchInput {
div#searchInputDiv input#searchInput {
width: 10em;
}
div.search-groupby {