7 border: $card-border-width solid $card-border-color;
9 @include border-radius($card-border-radius);
12 #inline_editor_outer .CodeMirror {
13 height: ceil($textarea-rows * 0.4em);
16 .insertRowTable .CodeMirror {
17 height: ceil($textarea-rows * 0.6em);
18 width: ceil($textarea-cols * 0.6em);
19 border: 1px solid #a9a9a9;
22 #pma_console .CodeMirror-gutters {
23 background-color: initial;
74 .autocomplete-column-name {
75 display: inline-block;
78 .autocomplete-column-hint {
79 display: inline-block;
89 .CodeMirror-lint-tooltip {
94 font-family: monospace;