diff options
Diffstat (limited to 'ext/mixed/css/display.css')
| -rw-r--r-- | ext/mixed/css/display.css | 9 |
1 files changed, 9 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 |