fix some issues to get search working properly
This commit is contained in:
parent
1c4fe877f5
commit
b1582fa904
2 changed files with 1 additions and 2 deletions
|
@ -3,7 +3,6 @@
|
||||||
<head>
|
<head>
|
||||||
<style>
|
<style>
|
||||||
code { padding: 2px 4px; font-size: 90%; border-radius: 4px; background-color: #1c1c1d; }
|
code { padding: 2px 4px; font-size: 90%; border-radius: 4px; background-color: #1c1c1d; }
|
||||||
|
|
||||||
.searchprompt {
|
.searchprompt {
|
||||||
color: #4b4b4b;
|
color: #4b4b4b;
|
||||||
font-size: 12px;
|
font-size: 12px;
|
||||||
|
@ -60,11 +59,11 @@ if (isPlatformAltOrCmdKey(event) && event.key === '/') {
|
||||||
</style>
|
</style>
|
||||||
</head>
|
</head>
|
||||||
<body>
|
<body>
|
||||||
</body>
|
|
||||||
<div id="fastSearch">
|
<div id="fastSearch">
|
||||||
<input id="searchInput" tabindex="0">
|
<input id="searchInput" tabindex="0">
|
||||||
<ul id="searchResults">
|
<ul id="searchResults">
|
||||||
</ul>
|
</ul>
|
||||||
</div>
|
</div>
|
||||||
<script src="/js/fastsearch.js"></script>
|
<script src="/js/fastsearch.js"></script>
|
||||||
|
</body>
|
||||||
</html>
|
</html>
|
||||||
|
|
0
static/js/fastsearch.js
Normal file → Executable file
0
static/js/fastsearch.js
Normal file → Executable file
Loading…
Add table
Add a link
Reference in a new issue