node-mirror/src/dijit/themes/dark/Editor.less

node.js + CodeMirror = Great IDE and Admin Tool

/* Editor 
 * 
 * Styling Editor means styling the Editor inside iframe container (dijitEditorIFrameContainer)
 * 
 * 1. Editor iframe container (default styling): 
 * 		.dijitEditorIFrameContainer - normal state styles: background-color, border, padding
 *
 * 2. hovered Editor iframe container (ie, mouse hover on editor)
 * 		.dijitEditorHover .dijitEditorIFrameContainer/dijitEditorIFrame - styles when mouse hover on the container
 * 
 * 3. focused Editor iframe container (ie, mouse focus on the editor pane)
 * 		.dijitEditorFocused .dijitEditorIFrameContainer/dijitEditorIFrame - styles when container focused
 * 
 * 3. disabled Editor iframe container 
 * 		.dijitEditorDisabled - editor's inner iframe container disable status styles: background, border
 */

@import "variables";

.dark .dijitEditorIFrameContainer{
	padding:3px 3px 1px 10px;
}
.dark .dijitEditorIFrame {
	background-color: @textbox-background-color;
}
.dark .dijitEditor {
	border: 1px solid @border-color;
}
.dark .dijitEditor .dijitEditorIFrameContainer{
	background-color: @textbox-background-color;
	background-repeat:repeat-x;
}
.dark .dijitEditorHover .dijitEditorIFrameContainer,
.dark .dijitEditorHover .dijitEditorIFrameContainer .dijitEditorIFrame{
	background-color: @textbox-hovered-background-color;
}
.dark .dijitEditorFocused .dijitEditorIFrameContainer,
.dark .dijitEditorFocused .dijitEditorIFrameContainer .dijitEditorIFrame{
	background-color: @textbox-focused-background-color;
}
.dark .dijitEditorHover .dijitEditorIFrameContainer,
.dark .dijitEditorFocused .dijitEditorIFrameContainer {
	.textbox-background-image;
}

/* Disabled */
.dark .dijitEditorDisabled {
	border: 1px solid @disabled-border-color;
	color: @disabled-text-color;
}

.dark .dijitDisabled .dijitEditorIFrame,
.dark .dijitDisabled .dijitEditorIFrameContainer,
.dark .dijitDisabled .dijitEditorIFrameContainer .dijitEditorIFrame {
	background-color: @textbox-disabled-background-color;
	background-image: none;
}