From 0e60e27a32d0b2a88172f65639950c9b0d31818e Mon Sep 17 00:00:00 2001
From: Dmitry Shachnev <mitya57@gmail.com>
Date: Tue, 29 Jul 2025 14:48:08 +0300
Subject: [PATCH] Add underline dotted style for hyperlinks

---
 src/resources/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/resources/style.css b/src/resources/style.css
index 195110b..890092c 100644
--- a/src/resources/style.css
+++ b/src/resources/style.css
@@ -158,7 +158,7 @@ a.active:hover { text-decoration: none; }
 /* run console */
 .console-log { padding: 15px; background-color: var(--ansi-black); }
 .console-log code { white-space: pre-wrap; color: var(--ansi-white); }
-.console-log a { color: var(--ansi-brightwhite); }
+.console-log a { color: var(--ansi-brightwhite); text-decoration: underline dotted; }
 
 /* text input (job filtering) */
 input { padding: 5px 8px; }