diff options
Diffstat (limited to 'src/css/index.css')
-rw-r--r-- | src/css/index.css | 16 |
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; |