[toplinks] restyle

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;
     }