2022-09-02 15:58:49 +08:00
. ui . field : not ( : last-child ) . EasyMDEContainer . editor-statusbar {
2023-03-15 03:20:19 +01:00
margin-bottom : -1 em ; /* when there is a statusbar, the "margin-bottom: 1em" of the "field" is not needed, because the statusbar is likely a blank line */
2022-09-02 15:58:49 +08:00
}
2021-12-20 12:07:49 -08:00
. EasyMDEContainer . CodeMirror {
color : var ( - - color - input - text ) ;
background-color : var ( - - color - input - background ) ;
border-color : var ( - - color - secondary ) ;
font : 14 px var ( - - fonts - monospace ) ;
2023-03-15 03:20:19 +01:00
}
2021-12-20 12:07:49 -08:00
2023-03-15 03:20:19 +01:00
. EasyMDEContainer . CodeMirror . cm-s-default {
border-radius : var ( - - border - radius ) ;
padding : 0 !important ;
}
2021-12-20 12:07:49 -08:00
2023-03-15 03:20:19 +01:00
. EasyMDEContainer . CodeMirror . CodeMirror-fullscreen . CodeMirror-focused {
border-right : 1 px solid var ( - - color - primary ) !important ;
2021-12-20 12:07:49 -08:00
}
. CodeMirror-cursor {
border-color : var ( - - color - caret ) !important ;
}
. CodeMirror . cm-comment {
background : inherit !important ;
}
. CodeMirror . CodeMirror-code {
font : 14 px var ( - - fonts - monospace ) ;
}
. CodeMirror-selected {
background : var ( - - color - primary - light -1 ) !important ;
color : var ( - - color - white ) !important ;
}
. CodeMirror-placeholder {
color : var ( - - color - placeholder - text ) !important ;
opacity : 1 !important ;
}
. CodeMirror-focused {
border-color : var ( - - color - primary ) !important ;
}