From ce539e8188a89b8aec11d6ff7a40aa2650f6fd2d Mon Sep 17 00:00:00 2001
From: Nat Lasseter <user@4574.co.uk>
Date: Tue, 13 May 2025 10:32:52 +0100
Subject: [toplinks] restyle

---
 cgi/user.cgi      | 2 +-
 static/styles.css | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/cgi/user.cgi b/cgi/user.cgi
index 1d7ebea..0773207 100755
--- a/cgi/user.cgi
+++ b/cgi/user.cgi
@@ -4,7 +4,7 @@ require 'cgi'
 
 def link(href, text, remote = false)
   if remote
-    $cgi.a(href: href, target: "_blank") { "[ #{text} ] " }
+    $cgi.a(href: href, target: "_blank") { "[ #{text} &#21d7; ] " }
   else
     $cgi.a(href: href) { "[ #{text} ] " }
   end
diff --git a/static/styles.css b/static/styles.css
index a15f136..d1ac829 100644
--- a/static/styles.css
+++ b/static/styles.css
@@ -28,11 +28,12 @@ div {
 
 table#toplinks {
   width: 100%;
+  background-color: honeydew;
   td {
     width: 1%;
     text-align: center;
     a {
-      font-size: 2em;
+      font-size: 1.75em;
       color: green;
       text-decoration: none;
     }
-- 
cgit v1.2.3