.listbox {
    height: 30em;
    border: #303e8c solid 2px;
}

.alert {
    background-color: red;
    color: white
}

input {
    width: 6em;
    line-height: 1.5em;
}

input[type="checkbox"] {
    width: auto;
}

span.button {
    user-select: none;
}

span.button.off {
    color: #888888;
}

button {
    min-width: 6em;
    width: auto;
}

.queries input[type="button"] {
    line-height: 1.5em;
    min-width: 6em;
    width: auto;
    margin-top: 2px;
    margin-right: 2px;
}

.queries input[type="button"].selected {
    background-color: aliceblue;
    font-weight: bold;
}

#clear {
    color: white;
    background-color: red;
    border: #800000 solid 1px;
}

a:link.admin-link {
    color: gray;
}

.edit-tag{
    cursor: pointer;
}