node-mirror
Version:
node.js + CodeMirror = Great IDE and Admin Tool
17 lines (13 loc) • 425 B
text/less
/* Editor */
@import "variables";
.dark .dijitEditorRtl .dijitEditorIFrameContainer {
padding: 3px 10px 1px 3px;
}
.dj_ie6 .dark .dijitEditorRtl .dijitEditorIFrameContainer,
.dj_ie7 .dark .dijitEditorRtl .dijitEditorIFrameContainer,
.dj_ie8 .dark .dijitEditorRtl .dijitEditorIFrameContainer {
// remove excessive right margin (due to IE bug)
padding: 3px 0px 1px 10px;
margin-right: 0px;
border: 0px solid #d3d3d3;
}