/* 

// =============================================================================
// File: synchi.css
// Version: 1.0
// 
// Defines synchi styles.
// ============================================================================

*/

.CodeMirror {
    line-height: 15px;
    border: 1px solid #DFDFDF;
    width: 97%;
}

.CodeMirror div {
    margin-right: 0px !important;
}

.CodeMirror-scroll {
    width: 100%;
    height: 417px;
}