prometheus: minor update to focus editor PR, #9201

This commit is contained in:
Torkel Ödegaard
2017-09-08 11:43:29 +02:00
parent 4b851de648
commit 2953d64429
4 changed files with 11 additions and 4 deletions

View File

@@ -77,3 +77,7 @@ $doc-font-size: $font-size-sm;
.ace_tooltip {
border-radius: 3px;
}
.ace_hidden-cursors .ace_cursor {
opacity: 0 !important;
}