Make timestamps visually uncopyable and simplify the impl

Author: Urgau

src/gha_logs.rs

@@ -217,14 +217,22 @@ body {{
   background: #0C0C0C;
   color: #CCC;
   white-space: pre;
+  padding-left: 29ch; // timestamp length + one space
+  margin: 0;
 }}
 .timestamp {{
   color: #848484;
   text-decoration: none;
+  position: absolute;
+  left: 0;
+  width: 28ch; // timestamp length
 }}
 .timestamp:hover {{
   text-decoration: underline;
 }}
+.timestamp::before {{
+  content: attr(data-timestamp);
+}}
 .error-marker {{
   scroll-margin-bottom: 15vh;
   color: #e5534b;
@@ -276,9 +284,9 @@ body {{
         }}
 
         // 3. Add a self-referencial anchor to all timestamps at the start of the lines
-        const dateRegex = /^(\d{{4}}-\d{{2}}-\d{{2}}T\d{{2}}:\d{{2}}:\d{{2}}\.\d+Z)/gm;
-        html = html.replace(dateRegex, (ts) => 
-            `<a id="${{ts}}" href="#${{ts}}" class="timestamp">${{ts}}</a>`
+        const dateRegex = /^(\d{{4}}-\d{{2}}-\d{{2}}T\d{{2}}:\d{{2}}:\d{{2}}\.\d+Z) /gm;
+        html = html.replace(dateRegex, (match, ts) => 
+            `<a id="${{ts}}" href="#${{ts}}" class="timestamp" data-timestamp="${{ts}}"></a>`
         );
 
         // 4. Add a anchor around every "##[error]" string
@@ -338,11 +346,9 @@ body {{
             }});
         }}
 
-        // 8. Add a copy handler that force plain/text copy and removes the timestamps
-        //  from the copied selection.
-        const dateRegexWithSpace = /^(\d{{4}}-\d{{2}}-\d{{2}}T\d{{2}}:\d{{2}}:\d{{2}}\.\d+Z )/gm;
+        // 8. Add a copy handler that force plain/text copy
         document.addEventListener("copy", function(e) {{
-            var text = window.getSelection().toString().replace(dateRegexWithSpace, '');
+            var text = window.getSelection().toString();
             e.clipboardData.setData('text/plain', text);
             e.preventDefault();
         }});