@use '@fontsource/roboto/scss/mixins' as Roboto; @use '@fontsource/fira-code/scss/mixins' as FiraCode; @import 'codemirror/lib/codemirror'; @import 'codemirror/addon/hint/show-hint'; @import 'codemirror/theme/material-darker'; $robotoWeights: 300, 400, 500, 700; @each $weight in $robotoWeights { @include Roboto.fontFace($weight: $weight); } $firaCodeWeights: 400, 600; @each $weight in $firaCodeWeights { @include FiraCode.fontFace($weight: $weight); } body { font-family: Roboto.$fontName; } .CodeMirror { font-size: 16px; height: 100%; font-family: FiraCode.$fontName, monospace; font-feature-settings: 'liga', 'calt', 'ss01', 'ss02', 'ss03', 'ss05', 'zero'; text-rendering: optimizeLegibility; } .annotations-gutter { width: 12px; } .xtext-annotation_error { width: 12px; height: 12px; background-image: url('images/error_an.gif'); background-repeat: no-repeat; } .xtext-annotation_warning { width: 12px; height: 12px; background-image: url('images/warning_an.gif'); background-repeat: no-repeat; } .xtext-annotation_info { width: 12px; height: 12px; background-image: url('images/info_an.gif'); background-repeat: no-repeat; } .xtext-marker_error { z-index: 30; background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg=="); background-repeat: repeat-x; background-position: left bottom; } .xtext-marker_warning { z-index: 20; background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII="); background-repeat: repeat-x; background-position: left bottom; } .xtext-marker_info { z-index: 10; background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAANklEQVQI12NkgIIVRx8tZGBg6GZccfRRKAMDgw8DA0M3AwPDIiYGBoZKBgaG7ghruSsMDAwpABH5CoqwzCoTAAAAAElFTkSuQmCC"); background-repeat: repeat-x; background-position: left bottom; } .xtext-marker_read { background: rgba(128, 203, 196, 0.2); } .xtext-marker_write { background: rgba(255, 229, 100, 0.2); } .problem-class, .problem-enum { @extend .cm-type; } .problem-abstract { } .problem-reference { @extend .cm-def; } .problem-containment { font-weight: 600; } .cm-quoted-name, .problem-enum-node { @extend .cm-atom; } .problem-new-node { } .problem-variable { @extend .cm-variable; } .problem-singleton-variable { opacity: 0.7; }