.spinner {
    display: none;
}
.ui-autocomplete-loading {
    background: white url("../images/spinner.gif") right center no-repeat;
}

.CodeMirror {
    border: 1px solid #dddddd;
    height: auto;
}

.nav-pills>li.active>a, .nav-pills>li.active>a:focus, .nav-pills>li.active>a:hover {
    color: #555;
    background-color: #e7e7e7;
}