node-mirror
Version:
node.js + CodeMirror = Great IDE and Admin Tool
1 lines • 2.42 kB
CSS
.dark .dijitBorderContainer {padding: 5px;}.dark .dijitSplitContainer-child,.dark .dijitBorderContainer-child {border: 1px #303050 solid;}.dark .dijitBorderContainer-dijitTabContainerTop,.dark .dijitBorderContainer-dijitTabContainerBottom,.dark .dijitBorderContainer-dijitTabContainerLeft,.dark .dijitBorderContainer-dijitTabContainerRight,.dark .dijitBorderContainer-dijitAccordionContainer {border: none;}.dark .dijitBorderContainer-dijitBorderContainer {border: 0; padding: 0;}.dark .dijitSplitterH,.dark .dijitGutterH {background: none; border: 0; height: 5px;}.dj_ios .dark .dijitSplitterH,.dj_android .dark .dijitSplitterH {height: 11px;}.dark .dijitSplitterH .dijitSplitterThumb {background: #303050 none; height: 1px; top: 2px; width: 19px;}.dj_ios .dark .dijitSplitterH .dijitSplitterThumb,.dj_android .dark .dijitSplitterH .dijitSplitterThumb {top: 5px;}.dark .dijitSplitterV,.dark .dijitGutterV {background: none; border: 0; width: 5px; margin: 0;}.dj_ios .dark .dijitSplitterV,.dj_android .dark .dijitSplitterV {width: 11px;}.dark .dijitSplitterV .dijitSplitterThumb {background: #303050 none; height: 19px; left: 2px; width: 1px; margin: 0;}.dj_ios .dark .dijitSplitterV .dijitSplitterThumb,.dj_android .dark .dijitSplitterV .dijitSplitterThumb {left: 5px;}.dark .dijitSplitterHHover,.dark .dijitSplitterVHover {font-size: 1px; background-color: #404090;}.dark .dijitSplitterHHover {background-image: -moz-linear-gradient(left, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%); background-image: -webkit-linear-gradient(left, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%); background-image: -o-linear-gradient(left, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%); background-image: linear-gradient(left, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%);}.dark .dijitSplitterVHover {background-image: -moz-linear-gradient(top, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%); background-image: -webkit-linear-gradient(top, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%); background-image: -o-linear-gradient(top, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%); background-image: linear-gradient(top, #000000 0px, rgba(0, 0, 0, 0) 50%, #000000 100%);}.dark .dijitSplitterHHover .dijitSplitterThumb,.dark .dijitSplitterVHover .dijitSplitterThumb {background: #000050 none;}.dark .dijitSplitterHActive,.dark .dijitSplitterVActive {font-size: 1px; background-color: #3333bc; background-image: none;}