ul {
    padding: 0;
    list-style-type: none;
    }
ul#options {
    margin-top: 0;
    }
ul#options li {
    margin-bottom: 0.5em;
    }
ul#lists {
    margin: 0.5em 0 0 0;
    padding-__MSG_@@bidi_end_edge__: 0em;
    padding-__MSG_@@bidi_start_edge__: 1em;
    }
li.listDetails {
    font-size: 14px;
    margin: 0 auto 0 auto;
    margin-__MSG_@@bidi_start_edge__: 1em;
    margin-__MSG_@@bidi_end_edge__: 0em;
    }
li.listDetails > * {
    unicode-bidi: embed;
    }
li.listDetails > a:nth-of-type(2) {
    font-size: 13px;
    opacity: 0.5;
    }
.dim {
    opacity: 0.5;
    }
/* I designed the button with: http://charliepark.org/bootstrap_buttons/ */
button.custom {
    padding: 5px;
    border: 1px solid transparent;
    border-color: #80b3ff #80b3ff hsl(216, 100%, 75%);
    border-radius: 3px;
    background-color: hsl(216, 100%, 75%);
    background-image: linear-gradient(#a8cbff, #80b3ff);
    background-repeat: repeat-x;
    color: #222;
    cursor: pointer;
    opacity: 0.8;
    }
button.custom.disabled {
    border-color: #dddddd #dddddd hsl(36, 0%, 85%);
    background-color: hsl(36, 0%, 72%);
    background-image: linear-gradient(#f2f2f2, #dddddd);
    color: #aaa;
    pointer-events: none;
    }
button.custom:hover {
    opacity: 1.0;
    }
button.custom.reloadAll:not(.disabled) {
    border-color: #ffcc7f #ffcc7f hsl(36, 100%, 73%);
    background-color: hsl(36, 100%, 75%);
    background-image: linear-gradient(#ffdca8, #ffcc7f);
    }
#buttonApply {
    position: fixed;
    display: initial;
    top: 1em;
    __MSG_@@bidi_end_edge__: 1em;
    }
#buttonApply.disabled {
    display: none;
    }
span.status {
    margin: 0;
    border: 1px solid transparent;
    padding: 1px 2px;
    display: inline-block;
    font-size: 11px;
    opacity: 0.7;
}
span.purge {
    border-color: #ddd;
    color: #444;
    background-color: #eee;
    cursor: pointer;
    }
span.purge:hover {
    opacity: 1;
    }
span.obsolete {
    border-color: hsl(36, 100%, 73%);
    color: #222;
    background-color: hsl(36, 100%, 75%);
    }
#externalListsDiv {
    margin: 2em auto 0 auto;
    margin-__MSG_@@bidi_start_edge__: 2em;
    }
#externalHostsFiles {
    font-size: smaller;
    width: 48em;
    height: 12em;
    white-space: nowrap;
    }
body #busyOverlay {
    position: fixed;
    top: 0;
    right: 0;
    bottom: 0;
    left: 0;
    background-color: white;
    opacity: 0.5;
    cursor: wait;
    display: none;
    z-index: 1000;
    }
body.busy #busyOverlay {
    display: block;
    }
