diff --git a/src/main/js/util/dom.js b/src/main/js/util/dom.js
index b58cd6618c31..69fba93abe60 100644
--- a/src/main/js/util/dom.js
+++ b/src/main/js/util/dom.js
@@ -5,8 +5,8 @@ export function createElementFromHtml(html) {
 }
 
 export function toId(string) {
-  return string
-    .trim()
-    .replace(/[\W_]+/g, "-")
-    .toLowerCase();
+  const trimmed = string.trim();
+  return Array.from(trimmed)
+    .map((c) => c.codePointAt(0).toString(16))
+    .join("-");
 }