feat: style queries a bit nicer :) (#532)

pull/555/head
Max Richter 2023-10-16 11:23:46 +02:00 committed by GitHub
parent f41c5a4642
commit 0034b4e8a7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 5 deletions

View File

@ -36,11 +36,17 @@ body:active #button-bar {
#button-bar { #button-bar {
position: absolute; position: absolute;
right: 12px; right: 6px;
top: 3px; top: 6px;
display: none; display: none;
background: rgb(255 255 255 / 0.9); background: var(--editor-directive-background-color);
padding: 0 3px; padding-inline: 3px;
padding-bottom: 1px;
border-radius: 5px;
}
.cm-editor {
padding-left: 10px;
} }
#button-bar button { #button-bar button {
@ -62,4 +68,4 @@ li code {
iframe { iframe {
border: none; border: none;
width: 100%; width: 100%;
} }