add highlight=<start>,<end> option in query string

2026-04-26 10:21:30 +00:00 · 2021-08-05 15:07:32 -05:00
parent be679ecc10
commit e1b6a2397d
4 changed files with 59 additions and 15 deletions
@@ -30,6 +30,9 @@
 .currentpc-marker-blocked {
  color: #ffee33;
 }
+.hilite-span {
+  background-color: #003399;
+}
 .mark-error {
  text-decoration-line: underline;
  text-decoration-style: wavy;
@@ -764,4 +767,4 @@ div.asset_toolbar {
 }
 .waverow.editable:hover {
  background-color: #336633;
-}
+}