diff --git a/sys/terminal.js b/sys/terminal.js
index f396ccf..37f4d33 100644
--- a/sys/terminal.js
+++ b/sys/terminal.js
@@ -96,22 +96,22 @@ function updateCursor() {
 }
 
 function stripColors(content) {
-    return convertColorCodes(content)
+    return stripHtml(convertColorCodes(content))
 }
 
 function makeColorCodesPrintable(input) {
-    return input.replace(/\$#([0-9a-fA-F]{6})/g, '$##$1')
-                .replace(/\$([A-Z_]+)--/g, '$#$1--')
-                .replace(/\$reset/g, '$#reset');
+    return input.replace(/\$#([0-9a-fA-F]{6})/g, "$$##$1")
+                .replace(/\$([A-Z_]+)--/g, "$$#$1--")
+                .replace(/\$reset/g, "$$#reset")
 }
 
 function convertColorCodes(input) {
     return input.replace(/\$#([0-9a-fA-F]{6})/g, '<span style="color: #$1">')
-                .replace(/\$##([0-9a-fA-F]{6})/g, '$#$1')
+                .replace(/\$##([0-9a-fA-F]{6})/g, '$$#$1')
                 .replace(/\$([A-Z_]+)--/g, '<span style="color: --$1">')
-                .replace(/\$#([A-Z_]+)--/g, '$$1--')
+                .replace(/\$#([A-Z_]+)--/g, '$$$1--')
                 .replace(/\$reset/g, '</span>')
-                .replace(/\$#reset/g, '$reset');
+                .replace(/\$#reset/g, '$$reset');
 }
 
 function stripHtml(html) {