lint.css 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596
  1. /* The lint marker gutter */
  2. .CodeMirror-lint-markers {
  3. width: 16px;
  4. }
  5. .CodeMirror-lint-tooltip {
  6. background-color: infobackground;
  7. border: 1px solid black;
  8. border-radius: 4px 4px 4px 4px;
  9. color: infotext;
  10. font-family: monospace;
  11. font-size: 10pt;
  12. overflow: hidden;
  13. padding: 2px 5px;
  14. position: fixed;
  15. white-space: pre;
  16. z-index: 100;
  17. max-width: 600px;
  18. opacity: 0;
  19. transition: opacity .4s;
  20. -moz-transition: opacity .4s;
  21. -webkit-transition: opacity .4s;
  22. -o-transition: opacity .4s;
  23. -ms-transition: opacity .4s;
  24. }
  25. .CodeMirror-lint-span-error, .CodeMirror-lint-span-warning {
  26. background-position: left bottom;
  27. background-repeat: repeat-x;
  28. }
  29. .CodeMirror-lint-span-error {
  30. background-image:
  31. url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJDw4cOCW1/KIAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg==")
  32. ;
  33. }
  34. .CodeMirror-lint-span-warning {
  35. background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJFhQXEbhTg7YAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII=");
  36. }
  37. .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
  38. background-position: center center;
  39. background-repeat: no-repeat;
  40. cursor: pointer;
  41. display: inline-block;
  42. height: 16px;
  43. width: 16px;
  44. vertical-align: middle;
  45. position: relative;
  46. }
  47. .CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {
  48. padding-left: 18px;
  49. background-position: top left;
  50. background-repeat: no-repeat;
  51. }
  52. .CodeMirror-lint-marker-error, .CodeMirror-lint-message-error {
  53. background-image: url("data:image/gif;base64,R0lGODlhEAAQANUAAPVvcvWHiPVucvRuc+ttcfV6f91KVN5LU99PV/FZY/JhaM4oN84pONE4Rd1ATfJLWutVYPRgbdxpcsgWKMgZKs4lNfE/UvE/U+artcpdSc5uXveimslHPuBhW/eJhfV5efaCgO2CgP+/v+PExP///////wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAACUALAAAAAAQABAAAAZ+wJJwSCwaScgkySgkjTQZTkYzWhadnE5oE+pwqkSshwQqkzxfa4kkQXxEpA9J9EFI1KQGQQBAigYCBA14ExEWF0gXihETeA0QD3AkD5QQg0NsDnAJmwkOd5gYFSQKpXAFDBhqaxgLBwQBBAapq00YEg0UDRKqTGtKSL7Cw8JBADs=");
  54. }
  55. .CodeMirror-lint-marker-warning, .CodeMirror-lint-message-warning {
  56. background-image: url("data:image/gif;base64,R0lGODlhEAAQANUAAP7bc//egf/ij/7ijv/jl/7kl//mnv7lnv/uwf7CTP7DTf7DT/7IW//Na/7Na//NbP7QdP/dmbltAIJNAF03AMSAJMSCLKqASa2DS6uBSquCSrGHTq6ETbCHT7WKUrKIUcCVXL+UXMOYX8GWXsSZYMiib6+ETbOIUcOXX86uhd3Muf///wAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAACsALAAAAAAQABAAAAZowJVwSCwaj0ihikRSJYcoBEL0XKlGkcjImQQhJBREKFnyICoThKeE/AAW6AXgdPyUAgrLJBEo0YsbAQyDhAEdRRwDDw8OaA4NDQImRBgFEJdglxAEGEQZKQcHBqOkKRpFF6mqq1WtrUEAOw==");
  57. }
  58. .CodeMirror-lint-marker-multiple {
  59. background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAcAAAAHCAYAAADEUlfTAAAAAXNSR0IArs4c6QAAAAZiS0dEAAAAAAAA+UO7fwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJEAQvB2JVdrAAAAAdaVRYdENvbW1lbnQAAAAAAENyZWF0ZWQgd2l0aCBHSU1QZC5lBwAAAD1JREFUCNdtjkESADAEAzemf69f66HMqGlOIhYiFRFRtSQBWAY7mzx+EDTL6sSgb1jTk7Q87rxyqe37fXsAa78gLyZnRgEAAAAASUVORK5CYII=");
  60. background-repeat: no-repeat;
  61. background-position: right bottom;
  62. width: 100%; height: 100%;
  63. }
  64. /* Styles for the overview ruler
  65. .annotationOverview {
  66. cursor: pointer;
  67. border-radius: 2px;
  68. left: 2px;
  69. width: 8px;
  70. }
  71. .annotationOverview.error {
  72. background-color: lightcoral;
  73. border: 1px solid darkred;
  74. }
  75. .annotationOverview.warning {
  76. background-color: Gold;
  77. border: 1px solid black;
  78. }
  79. .annotationHTML.overlay {
  80. background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAcAAAAHCAYAAADEUlfTAAAAAXNSR0IArs4c6QAAAAZiS0dEAAAAAAAA+UO7fwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJEAQvB2JVdrAAAAAdaVRYdENvbW1lbnQAAAAAAENyZWF0ZWQgd2l0aCBHSU1QZC5lBwAAAD1JREFUCNdtjkESADAEAzemf69f66HMqGlOIhYiFRFRtSQBWAY7mzx+EDTL6sSgb1jTk7Q87rxyqe37fXsAa78gLyZnRgEAAAAASUVORK5CYII=");
  81. background-position: right bottom;
  82. position: relative;
  83. top: -16px;
  84. }
  85. */