SiLeBAT/FSK-Lab

/* JointJS div */
#detailsForm {
    padding: 10px;
}

.CodeMirror {
    height: 100%;
}

.CodeMirror-gutters {
    background-color: transparent;
}

.CodeMirror-linenumber {
    /* font-weight: bold; */
    color: #31708f;
}

#viewContent {
    padding: 5px;
}