diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-05 23:17:25 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-05 23:17:27 +0200 |
| commit | f7271130ceebe1fd2d184298fc2d1e892ab7d64f (patch) | |
| tree | 2bea0d6dff9c3cc6802efe834691cc3a0551c9d3 /src/Editor.module.css | |
| parent | dbf703d7a456eb682c3e06f4561e495112e10497 (diff) | |
More things
Diffstat (limited to 'src/Editor.module.css')
| -rw-r--r-- | src/Editor.module.css | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/Editor.module.css b/src/Editor.module.css index 2116903..e0bb076 100644 --- a/src/Editor.module.css +++ b/src/Editor.module.css @@ -5,3 +5,15 @@ .error { color: var(--red) } + +.examples { + margin-bottom: 20px; +} + +:global(.ace_gutter) { + z-index: 0; +} + +:global(#react-select-3-listbox) { + color: var(--dark-grey); +} |