/*
 * General style of all Codeeditor instances.
 */
div.CodeMirror {
    background: #fff;
    border: 1px solid #999;
    font-size: 9pt;
    line-height: 140%;
}


/*
 * Styling of the fullscreen mode.
 * Probably the only style that might need adjustment is background.
 */
div.CodeMirror .fullscreen {
    background: white !important;
    display: block !important;
    position: fixed !important;
    top: 0 !important;
    left: 0 !important;
    width: 100% !important;
    height: 100% !important;
    z-index: 9999 !important;
    margin: 0 !important;
    padding: 0 !important;
    border: 0 !important;
    opacity: 1;
}