aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/css/index.css
diff options
context:
space:
mode:
Diffstat (limited to 'src/css/index.css')
-rw-r--r--src/css/index.css16
1 files changed, 9 insertions, 7 deletions
diff --git a/src/css/index.css b/src/css/index.css
index ccb6021..069bf85 100644
--- a/src/css/index.css
+++ b/src/css/index.css
@@ -56,16 +56,15 @@ body {
56 gap: 0.5em; 56 gap: 0.5em;
57 57
58 .CodeMirror { 58 .CodeMirror {
59 order: 1;
60
61 flex: 1 0 0; 59 flex: 1 0 0;
60 padding-inline: 0;
62 61
63 border: var(--content-border); 62 border: var(--content-border);
64 border-radius: var(--content-border-radius); 63 border-radius: var(--content-border-radius);
65 padding-inline: 0;
66 64
67 font-family: monospace; 65 font-family: monospace;
68 font-size: 1rem; 66 font-size: 1rem;
67 order: 1;
69 68
70 &.focus { 69 &.focus {
71 border: var(--content-focus-border); 70 border: var(--content-focus-border);
@@ -170,19 +169,21 @@ body {
170 padding: 0.5rem; 169 padding: 0.5rem;
171 170
172 z-index: 9999; 171 z-index: 9999;
173 text-wrap: nowrap;
174 172
175 cursor: pointer;
176 border: 2px solid transparent; 173 border: 2px solid transparent;
177 border-radius: 5px; 174 border-radius: 5px;
178 175
176 cursor: pointer;
177 text-wrap: nowrap;
178
179 &:hover { 179 &:hover {
180 background: rgb(226 232 240); 180 background: rgb(226 232 240);
181 } 181 }
182 182
183 .info { 183 .info {
184 color: steelblue;
185 padding-inline: 1em; 184 padding-inline: 1em;
185
186 color: steelblue;
186 font-weight: bold; 187 font-weight: bold;
187 } 188 }
188} 189}
@@ -192,8 +193,8 @@ body {
192} 193}
193 194
194.sub-menu { 195.sub-menu {
195 width: fit-content;
196 overflow: scroll; 196 overflow: scroll;
197 width: fit-content;
197 198
198 position: absolute; 199 position: absolute;
199 z-index: 100; 200 z-index: 100;
@@ -204,6 +205,7 @@ body {
204 background: white; 205 background: white;
205 min-width: 6rem; 206 min-width: 6rem;
206 max-height: 40vh; 207 max-height: 40vh;
208
207 .menu-item { 209 .menu-item {
208 margin: 0 auto; 210 margin: 0 auto;
209 padding-inline: 0.5em; 211 padding-inline: 0.5em;