r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

fix tooltip styling

Browse source
This commit is contained in:
catarak 2016-07-12 19:24:57 -04:00
parent cbdf68cbd0
commit 30992ac2de
1 changed files with 13 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
client/styles/components/_editor.scss
View file

@ -26,7 +26,6 @@
bottom: 0; bottom: 0;
} }
.CodeMirror-lint-marker-warning, .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-multiple { .CodeMirror-lint-marker-warning, .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-multiple {
background-image: none; background-image: none;
width: 70px; width: 70px;
@ -34,6 +33,11 @@
height: 100%; height: 100%;
} }
.CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {
background-image: none;
padding-left: inherit;
}
.CodeMirror-lint-marker-warning { .CodeMirror-lint-marker-warning {
background-color: rgb(255, 190, 5); background-color: rgb(255, 190, 5);
} }
@ -48,3 +52,11 @@
height: 100%; height: 100%;
// background-color: rgb(255, 95, 82); // background-color: rgb(255, 95, 82);
} }
.CodeMirror-lint-tooltip {
font-family: Montserrat, sans-serif;
border-radius: 2px;
border: 1px solid #B9D0E1;
background-color: $light-button-background-color;
}