diff options
| author | siikamiika <siikamiika@users.noreply.github.com> | 2019-10-29 23:49:36 +0200 |
|---|---|---|
| committer | siikamiika <siikamiika@users.noreply.github.com> | 2019-11-23 16:56:10 +0200 |
| commit | f63e8e4be0e7bdb1a2e45e349bf667ea7ca4adab (patch) | |
| tree | b2a07d606c3b50f54eefab09c01b747cc7dc05de /ext/mixed/css | |
| parent | baf0325f628d42f382370b82e33e4c1a810050f9 (diff) | |
add simple query parser
Diffstat (limited to 'ext/mixed/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 |