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 /settings.css | |
| parent | 617f0d65b20b7b405b1acecea6f99ccd0a6d73f3 (diff) | |
| download | llvm-kaleidoscope-rs-3dfc8f0258ab0884eef50cc8f33b8666cdb4c3cf.tar.gz llvm-kaleidoscope-rs-3dfc8f0258ab0884eef50cc8f33b8666cdb4c3cf.zip | |
deploy: 4e3898b34a5dbcfabbcf861998d915c261831b60
Diffstat (limited to 'settings.css')
| -rw-r--r-- | settings.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/settings.css b/settings.css deleted file mode 100644 index a142e14..0000000 --- a/settings.css +++ /dev/null @@ -1 +0,0 @@ -.setting-line{margin:0.6em 0 0.6em 0.3em;position:relative;}.setting-line .choices{display:flex;flex-wrap:wrap;}.setting-line .radio-line input{margin-right:0.3em;height:1.2rem;width:1.2rem;border:1px solid;outline:none;-webkit-appearance:none;cursor:pointer;border-radius:50%;}.setting-line .radio-line input+span{padding-bottom:1px;}.radio-line .setting-name{width:100%;}.radio-line .choice{margin-top:0.1em;margin-bottom:0.1em;min-width:3.8em;padding:0.3em;display:flex;align-items:center;cursor:pointer;}.radio-line .choice+.choice{margin-left:0.5em;}.toggle{position:relative;width:100%;margin-right:20px;display:flex;align-items:center;cursor:pointer;}.toggle input{opacity:0;position:absolute;}.slider{position:relative;width:45px;min-width:45px;display:block;height:28px;margin-right:20px;cursor:pointer;background-color:#ccc;transition:.3s;}.slider:before{position:absolute;content:"";height:19px;width:19px;left:4px;bottom:4px;transition:.3s;}input:checked+.slider:before{transform:translateX(19px);}.setting-line>.sub-settings{padding-left:42px;width:100%;display:block;}#settings .setting-line{margin:1.2em 0.6em;}
\ No newline at end of file |