/* ------------------------------------------------------------
   Buttons 
------------------------------------------------------------ */

div.btns-select { margin: 0.1em 0.2em; }
div.btns-select a {
    display: inline-block;
    cursor: pointer;
    padding: 0.2em;
    font-size: 80%;
    text-align: center;
    color: black;
    border: solid 1px black;
    border-radius: 10px;
    text-decoration: none;
    user-select: none;
}

div.btns-xs a { width: 2em; margin: 0.2em; }
div.btns-s a  { width: 4em; margin: 0.2em; }
div.btns-m a  { width: 6em; margin: 0.2em; }
div.btns-l a  { width: 8em; margin: 0.2em; }

/* one of selection */
div.oneof a.on  { background-color: deepskyblue; }
div.oneof a.off { background-color: #dddddd;}
div.oneof a.on:after  { content: '✓';}

/* checkbox style */
div.onoff a.on  { background-color: greenyellow;}
div.onoff a.off { background-color: #dddddd;}
div.onoff a.all { background-color: #eeeedd;}
div.onoff a.on:after  { content: '✓';}




/* ------------------------------------------------------------
   Cmd-Line
------------------------------------------------------------ */

div.cmd-line { cursor: pointer; }
div.cmd-line a { text-decoration: none; color: black; user-select: none; }





a.btn-download { text-decoration: none; color: black;}






button.fold {
    border: solid 1px black;
    margin-right: 1em;
}

button.fold-closed { background-color: #FF6347; }
button.fold-open {   background-color: #7CFC00; }