@@ -21,7 +21,7 @@
border: 1px solid @cui-gray-300;
border-radius: 4px;
width: 100%;
- height: 26px;
+ height: 25px;
.ace-editor {
position: absolute;
@@ -1843,7 +1843,7 @@ from desktop.views import _ko
if (self.singleLine) {
aceOptions = $.extend(aceOptions, {
- fontSize: '14px',
+ fontSize: '13px',
maxLines: 1, // make it 1 line
autoScrollEditorIntoView: true,
highlightActiveLine: false,