graphdb-workbench
Version:
The web application for GraphDB APIs
1 lines • 1.09 kB
CSS
.toggle-switch{all:unset;clear:both;margin:0 5px;width:36px}.toggle-switch:focus{box-shadow:none;outline:none}.toggle-switch:focus-visible{box-shadow:none;outline:none}.toggle-switch input:empty{display:none}.toggle-switch input:empty~label{cursor:pointer;margin:.05em .6em -.05em 0;position:relative;user-select:none;vertical-align:text-bottom}.toggle-switch input:empty~label:before{background-color:var(--gw-toggleswitch-background);border-radius:10em;content:" ";display:block;height:1.25em;transition:all .1s ease-in;width:2.2em}.toggle-switch input:empty~label:after{background-color:var(--gw-toggleswitch-handle-background);border:1px solid var(--gw-toggleswitch-background);border-radius:50%;content:" ";display:block;height:.9em;left:.1em;position:absolute;top:.08em;transition:all .1s ease-in;width:.9em}.toggle-switch input:checked~label:before{background-color:var(--gw-toggleswitch-checked-background)}.toggle-switch input:checked~label:after{background-color:var(--gw-toggleswitch-handle-checked-background);border:1px solid var(--gw-toggleswitch-checked-background);left:1em}