DOM renderer underline style

2022-07-23 09:20:53 -07:00
parent 1d9b4d4778
commit 72d18f7d5e
2 changed files with 13 additions and 8 deletions
@@ -163,9 +163,11 @@
    opacity: 0.5;
 }

-.xterm-underline {
-    text-decoration: underline;
-}
+.xterm-underline-1 { text-decoration: underline; }
+.xterm-underline-2 { text-decoration: double underline; }
+.xterm-underline-3 { text-decoration: wavy underline; }
+.xterm-underline-4 { text-decoration: dotted underline; }
+.xterm-underline-5 { text-decoration: dashed underline; }

 .xterm-strikethrough {
    text-decoration: line-through;