Revert "Merge pull request #2199 from Urgau/gha-logs-better-uncopy"

This reverts commit b6ec119, reversing
changes made to a983074.

Author: Urgau

src/gha_logs.rs

@@ -211,30 +211,19 @@ pub async fn gha_logs(
     <title>{job_name} - {owner}/{repo}@{short_sha}</title>
     {icon_status}
     <style>
-:root {{
-    --timestamp-length: 28ch;
-}}
 body {{
   font: 14px SFMono-Regular, Consolas, Liberation Mono, Menlo, monospace;
   background: #0C0C0C;
   color: #CCC;
   white-space: pre;
-  padding-left: calc(var(--timestamp-length) + 1ch);
-  margin: 0;
 }}
 .timestamp {{
   color: #848484;
   text-decoration: none;
-  position: absolute;
-  left: 0;
-  width: var(--timestamp-length);
 }}
 .timestamp:hover {{
   text-decoration: underline;
 }}
-.timestamp::before {{
-  content: attr(data-timestamp);
-}}
 .error-marker {{
   scroll-margin-bottom: 15vh;
   color: #e5534b;
@@ -286,9 +275,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, (match, ts) => 
-            `<a id="${{ts}}" href="#${{ts}}" class="timestamp" data-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, (ts) => 
+            `<a id="${{ts}}" href="#${{ts}}" class="timestamp">${{ts}}</a>`
         );
 
         // 4. Add a anchor around every "##[error]" string
@@ -348,9 +337,11 @@ body {{
             }});
         }}
 
-        // 8. Add a copy handler that force plain/text copy
+        // 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;
         document.addEventListener("copy", function(e) {{
-            var text = window.getSelection().toString();
+            var text = window.getSelection().toString().replace(dateRegexWithSpace, '');
             e.clipboardData.setData('text/plain', text);
             e.preventDefault();
         }});