/* GeoServer specific line number styling */

.CodeMirror-line-numbers {
    width: 2.2em;
    color: #aaa;
    background-color: #eee;
    text-align: right;
    padding-right: .3em;
    font-size: 12px;
    font-family: monospace;
    padding-top: .4em;
    line-height: normal;
}

.fullscreen {
    display: block;
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    z-index: 9999;
    margin: 0;
    padding: 0;
    background: inherit;
}

.button-toolbar span {
    height: 16px;
    width: 16px;
    margin: 2px;
}

.button-toolbar a {
    float: left;
    margin: 0;
    padding: 0;
    background: none;
    border: none;
}

a.separator {
    /*border-right: 1px outset;
    padding-right: 5px;*/
    margin-right: 5px;
}

div.disabled .button-toolbar {
    display: none !important;
}

.CodeMirror-search-field {
    width: 10em !important;
}

.CodeMirror-search-hint {
    color: #888;
}