/* 

// =============================================================================
// File: synchi.css
// Version: 2.1
// 
// Defines Synchi styles and extends some codemirror styles.
// ============================================================================

*/

.CodeMirror {
    line-height: 15px;
}

.CodeMirror-scroll {
    /*width: 100%;*/
    height: 100%;
}

.CodeMirror-gutter-text pre {
    cursor: pointer;
}

.synchi_activeline {
    background-color: whitesmoke;
}

.synchi_mesageBox {
    position: fixed;
    top: 120px;
    left: 50%;
    width: 300px;
    padding-top: 10px;
    padding-bottom: 10px;
    margin-left: -150px;
    z-index: 1001;
    background-color: black;
    color: #CCC;
    border: 2px solid #464646;
    -moz-border-radius: 5px;
    border-radius: 5px;
    -moz-opacity:.75;
    filter:alpha(opacity=75);
    opacity:.75;
    text-align: center;
    font-weight: bold;
}