simon987/Simple-Incremental-Search-Tool
1
0
Fork 0
mirror of https://github.com/simon987/Simple-Incremental-Search-Tool.git synced 2025-12-16 08:39:03 +00:00
Code Issues Projects Releases Wiki Activity

multithreading fixes and optimizations

Browse Source
This commit is contained in:
simon987
2019-04-05 19:59:21 -04:00
parent 60349cf954
commit 2e353c9787
7 changed files with 46 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
static/css/search.css
View File

@@ -94,8 +94,10 @@ body {overflow-y:scroll;}
}
}
.hl {
mark {
background: #fff217;
border-radius: 0;
padding: 1px 0;
}
.content-div {