first (largest) part of sync for both themes with toolkit windows theme changes in...
[themes.git] / LCARStrek / devtools / dark-theme.css
index c47bf8c0c6041fc45ff11fcf3ec78c8739373b9f..f371e3275d1a30d922f9c82c5848e1b481309deb 100644 (file)
@@ -240,8 +240,8 @@ div.CodeMirror div.error-line {
 div.CodeMirror span.marked-text {
   background: rgba(255,207,0,0.2);
   border: 1px dashed rgba(156, 156, 255, 0.6);
-  -moz-margin-start: -1px;
-  -moz-margin-end: -1px;
+  margin-inline-start: -1px;
+  margin-inline-end: -1px;
 }
 
 /* Highlight for evaluating current statement. */