Skip to content

N
nexpie-grafana-theme
Commit ef162c3d by Alexander Zobnin
Options

ace: minor css refactor

parent a0cb7447
Showing with 20 additions and 8 deletions
public/sass/components/_code_editor.scss
...@@ -5,13 +5,16 @@ ...@@ -5,13 +5,16 @@
margin-right: 0.25rem; margin-right: 0.25rem;
&.ace_editor { &.ace_editor {
min-height: 2.60rem; @include font-family-monospace();
font-family: monospace;
font-size: 1rem; font-size: 1rem;
min-height: 2.60rem;
} }
} }
.ace_editor.ace_autocomplete { .ace_editor.ace_autocomplete {
@include font-family-monospace();
font-size: 1rem;
// Ace editor adds <style> tag at the end of <head>, after grafana.css, so !important // Ace editor adds <style> tag at the end of <head>, after grafana.css, so !important
// is used for overriding styles with the same CSS specificity. // is used for overriding styles with the same CSS specificity.
background-color: $dropdownBackground !important; background-color: $dropdownBackground !important;
...@@ -19,9 +22,6 @@ ...@@ -19,9 +22,6 @@
border: 1px solid $dropdownBorder !important; border: 1px solid $dropdownBorder !important;
width: 320px !important; width: 320px !important;
font-family: monospace;
font-size: 1rem;
.ace_scroller { .ace_scroller {
.ace_selected, .ace_active-line, .ace_line-hover { .ace_selected, .ace_active-line, .ace_line-hover {
color: $dropdownLinkColorHover; color: $dropdownLinkColorHover;
...@@ -43,16 +43,28 @@ ...@@ -43,16 +43,28 @@
} }
} }
$doc-font-size: 0.8rem;
$doc-text-padding: $doc-font-size * 0.5;
.ace_tooltip.ace_doc-tooltip { .ace_tooltip.ace_doc-tooltip {
@include font-family-monospace();
font-size: $doc-font-size;
background-color: $dropdownBackground; background-color: $dropdownBackground;
background-image: none; background-image: none;
color: $dropdownLinkColor; color: $dropdownLinkColor;
border: 1px solid $dropdownBorder; border: 1px solid $dropdownBorder;
padding-top: $doc-text-padding;
font-family: monospace; padding-bottom: 0px;
font-size: 1rem;
hr { hr {
background-color: $dropdownDividerBottom; background-color: $dropdownDividerBottom;
margin-top: $doc-text-padding;
margin-bottom: $doc-text-padding;
}
code {
padding: 0px 1px;
margin: 0px;
} }
} }
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment