Merge pull request #4859 from dodona-edu/fix/safari-wavy

Fix wavy underline in safari
dodona-edu · Aug 2, 2023 · 89e8ba3 · 89e8ba3
2 parents 835be23 + 053a56c
commit 89e8ba3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/app/assets/javascripts/components/annotations/annotation_marker.ts b/app/assets/javascripts/components/annotations/annotation_marker.ts
@@ -32,8 +32,12 @@ export class AnnotationMarker extends LitElement {
 
     static getStyle(annotation: AnnotationData): string {
         if (["error", "warning", "info"].includes(annotation.type)) {
+            // shorthand notation does not work in safari
             return `
-                text-decoration: wavy underline ${AnnotationMarker.colors[annotation.type]} 1px;
+                text-decoration-line: underline;
+                text-decoration-color: ${AnnotationMarker.colors[annotation.type]};
+                text-decoration-thickness: 1px;
+                text-decoration-style: wavy;
                 text-decoration-skip-ink: none;
             `;
         } else {