Merged latest fix to lednerb branch

This commit is contained in:
Sascha Brendel 2020-03-17 14:07:26 +01:00
commit da5f9597ef
No known key found for this signature in database
GPG Key ID: F8BF8AB6963A2A98

View File

@ -147,6 +147,18 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {
--item-hover-bg-color: #eeeeee;
}
.info-panel-tab:hover {
color: #42b983;
}
.outline-label:hover {
text-decoration: none;
}
input {
color: #42b983;
}
/* cyrillic-ext */
@font-face {
font-family: 'Roboto Mono';