ace: styles tweak

This commit is contained in:
Alexander Zobnin
2017-08-26 12:36:08 +03:00
parent ef162c3dc7
commit 451ecce4ab
2 changed files with 4 additions and 1 deletions

View File

@@ -94,7 +94,7 @@ function link(scope, elem, attrs) {
// disable depreacation warning
codeEditor.$blockScrolling = Infinity;
// Padding hacks
codeEditor.renderer.setScrollMargin(15, 15);
codeEditor.renderer.setScrollMargin(10, 11);
codeEditor.renderer.setPadding(10);
setThemeMode(theme);

View File

@@ -8,6 +8,9 @@
@include font-family-monospace();
font-size: 1rem;
min-height: 2.60rem;
@include border-radius($input-border-radius-sm);
border: $input-btn-border-width solid $input-border-color;
}
}