diff options
| author | johannst <johannst@users.noreply.github.com> | 2024-07-18 21:07:35 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2024-07-18 21:07:35 +0000 |
| commit | 92f06485e47d6478d325fcab4946dae8493eb93a (patch) | |
| tree | 3f2b00c72eca95142d3e4e5ea86d38bd9d7baba1 /static.files/settings-8c76f75bfb6bd192.css | |
| parent | 3dfc8f0258ab0884eef50cc8f33b8666cdb4c3cf (diff) | |
| download | llvm-kaleidoscope-rs-gh-pages.tar.gz llvm-kaleidoscope-rs-gh-pages.zip | |
deploy: 76150f48c81be3505d09ca68b5e5291b1c73837egh-pages
Diffstat (limited to 'static.files/settings-8c76f75bfb6bd192.css')
| -rw-r--r-- | static.files/settings-8c76f75bfb6bd192.css | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/static.files/settings-8c76f75bfb6bd192.css b/static.files/settings-8c76f75bfb6bd192.css deleted file mode 100644 index 5241bb8..0000000 --- a/static.files/settings-8c76f75bfb6bd192.css +++ /dev/null @@ -1,3 +0,0 @@ -.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 |