mirror of https://github.com/status-im/codimd.git
74 lines
1.8 KiB
CSS
74 lines
1.8 KiB
CSS
/* The lint marker gutter */
|
|
.CodeMirror-lint-markers {
|
|
width: 16px;
|
|
}
|
|
|
|
.CodeMirror-lint-tooltip {
|
|
background-color: #333333;
|
|
border: 1px solid #eeeeee;
|
|
border-radius: 4px;
|
|
color: white;
|
|
font-family: "Source Code Pro", Consolas, monaco, monospace;
|
|
font-size: 10pt;
|
|
overflow: hidden;
|
|
padding: 2px 5px;
|
|
position: fixed;
|
|
white-space: pre;
|
|
white-space: pre-wrap;
|
|
z-index: 100;
|
|
max-width: 600px;
|
|
opacity: 0;
|
|
transition: opacity .4s;
|
|
-moz-transition: opacity .4s;
|
|
-webkit-transition: opacity .4s;
|
|
-o-transition: opacity .4s;
|
|
-ms-transition: opacity .4s;
|
|
}
|
|
|
|
.CodeMirror-lint-mark-error, .CodeMirror-lint-mark-warning {
|
|
background-position: left bottom;
|
|
background-repeat: repeat-x;
|
|
}
|
|
|
|
.CodeMirror-lint-mark-error {
|
|
background-image: url(/images/lint/mark-error.png);
|
|
}
|
|
|
|
.CodeMirror-lint-mark-warning {
|
|
background-image: url(/images/lint/mark-warning.png);
|
|
}
|
|
|
|
.CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
|
|
background-position: center center;
|
|
background-repeat: no-repeat;
|
|
cursor: pointer;
|
|
display: inline-block;
|
|
height: 16px;
|
|
width: 16px;
|
|
vertical-align: middle;
|
|
position: relative;
|
|
margin-left: 5px;
|
|
}
|
|
|
|
.CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {
|
|
padding-left: 20px;
|
|
background-position: top left;
|
|
background-repeat: no-repeat;
|
|
background-position-y: 2px;
|
|
}
|
|
|
|
.CodeMirror-lint-marker-error, .CodeMirror-lint-message-error {
|
|
background-image: url(/images/lint/message-error.png);
|
|
}
|
|
|
|
.CodeMirror-lint-marker-warning, .CodeMirror-lint-message-warning {
|
|
background-image: url(/images/lint/message-warning.png);
|
|
}
|
|
|
|
.CodeMirror-lint-marker-multiple {
|
|
background-image: url(/images/lint/mark-multiple.png);
|
|
background-repeat: no-repeat;
|
|
background-position: right bottom;
|
|
width: 100%; height: 100%;
|
|
}
|