diff options
| author | johannst <johannst@users.noreply.github.com> | 2023-11-20 23:28:40 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2023-11-20 23:28:40 +0000 |
| commit | 3dfc8f0258ab0884eef50cc8f33b8666cdb4c3cf (patch) | |
| tree | 040c82bb63703c3b9a5087986cd32f129e4ef612 /static.files/settings-8c76f75bfb6bd192.css | |
| parent | 617f0d65b20b7b405b1acecea6f99ccd0a6d73f3 (diff) | |
| download | llvm-kaleidoscope-rs-3dfc8f0258ab0884eef50cc8f33b8666cdb4c3cf.tar.gz llvm-kaleidoscope-rs-3dfc8f0258ab0884eef50cc8f33b8666cdb4c3cf.zip | |
deploy: 4e3898b34a5dbcfabbcf861998d915c261831b60
Diffstat (limited to 'static.files/settings-8c76f75bfb6bd192.css')
| -rw-r--r-- | static.files/settings-8c76f75bfb6bd192.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/static.files/settings-8c76f75bfb6bd192.css b/static.files/settings-8c76f75bfb6bd192.css new file mode 100644 index 0000000..5241bb8 --- /dev/null +++ b/static.files/settings-8c76f75bfb6bd192.css @@ -0,0 +1,3 @@ +.setting-line{margin:1.2em 0.6em;}.setting-radio input,.setting-check input{margin-right:0.3em;height:1.2rem;width:1.2rem;border:2px solid var(--settings-input-border-color);outline:none;-webkit-appearance:none;cursor:pointer;}.setting-radio input{border-radius:50%;}.setting-radio span,.setting-check span{padding-bottom:1px;}.setting-radio{margin-top:0.1em;margin-bottom:0.1em;min-width:3.8em;padding:0.3em;display:inline-flex;align-items:center;cursor:pointer;}.setting-radio+.setting-radio{margin-left:0.5em;}.setting-check{margin-right:20px;display:flex;align-items:center;cursor:pointer;}.setting-radio input:checked{box-shadow:inset 0 0 0 3px var(--main-background-color);background-color:var(--settings-input-color);}.setting-check input:checked{background-color:var(--settings-input-color);border-width:1px;content:url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 40 40">\ + <path d="M7,25L17,32L33,12" fill="none" stroke="black" stroke-width="5"/>\ + <path d="M7,23L17,30L33,10" fill="none" stroke="white" stroke-width="5"/></svg>');}.setting-radio input:focus,.setting-check input:focus{box-shadow:0 0 1px 1px var(--settings-input-color);}.setting-radio input:checked:focus{box-shadow:inset 0 0 0 3px var(--main-background-color),0 0 2px 2px var(--settings-input-color);}.setting-radio input:hover,.setting-check input:hover{border-color:var(--settings-input-color) !important;}
\ No newline at end of file |