summaryrefslogtreecommitdiff
path: root/ext/mixed
diff options
context:
space:
mode:
Diffstat (limited to 'ext/mixed')
-rw-r--r--ext/mixed/css/display.css9
-rw-r--r--ext/mixed/js/display.js2
2 files changed, 11 insertions, 0 deletions
diff --git a/ext/mixed/css/display.css b/ext/mixed/css/display.css
index 7ee6f5ac..5e5213ff 100644
--- a/ext/mixed/css/display.css
+++ b/ext/mixed/css/display.css
@@ -88,6 +88,15 @@ ol, ul {
user-select: none;
}
+#query-parser {
+ margin-top: 10px;
+ font-size: 24px;
+}
+
+.highlight {
+ background-color: lightblue;
+}
+
/*
* Entries
diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js
index 8ad3ee1b..07a851f5 100644
--- a/ext/mixed/js/display.js
+++ b/ext/mixed/js/display.js
@@ -140,6 +140,8 @@ class Display {
}
this.setContentTerms(definitions, context);
+
+ return {textSource};
} catch (error) {
this.onError(error);
}