|
@@ -7,7 +7,7 @@
|
|
|
&.ace_editor {
|
|
&.ace_editor {
|
|
|
@include font-family-monospace();
|
|
@include font-family-monospace();
|
|
|
font-size: 1rem;
|
|
font-size: 1rem;
|
|
|
- min-height: 2.6rem;
|
|
|
|
|
|
|
+ min-height: 3.6rem; // Include space for horizontal scrollbar
|
|
|
|
|
|
|
|
@include border-radius($input-border-radius-sm);
|
|
@include border-radius($input-border-radius-sm);
|
|
|
border: $input-btn-border-width solid $input-border-color;
|
|
border: $input-btn-border-width solid $input-border-color;
|