From b1e859a5c28a5d85c35fff5639bd6d9518cd84d9 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 15 Jul 2008 22:23:41 +0000
Subject: [PATCH] remove hyperlink border for doc icons in game titles

svn: r10783
---
 collects/games/scribblings/common.ss | 10 +++++++---
 collects/scribble/scribble.css       |  4 ++++
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/collects/games/scribblings/common.ss b/collects/games/scribblings/common.ss
index b08364b0c6..8dfedc8bcb 100644
--- a/collects/games/scribblings/common.ss
+++ b/collects/games/scribblings/common.ss
@@ -2,6 +2,7 @@
 
 (require scribble/manual
          scribble/decode
+         scribble/struct
          setup/main-collects)
 (provide (all-from-out scribble/manual)
          selflink
@@ -16,9 +17,12 @@
   (make-splice
    (list
     (title #:tag subcol 
-           (image (path->main-collects-relative
-                   (build-path (collection-path "games" subcol)
-                               (format "~a.png" subcol))))
+           (make-element
+            "noborder"
+            (list
+             (image (path->main-collects-relative
+                     (build-path (collection-path "games" subcol)
+                                 (format "~a.png" subcol))))))
            " " (onscreen name) " --- " subtitle)
     (margin-note "To play "
                  (onscreen name)
diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css
index e533c3590a..25b28ec173 100644
--- a/collects/scribble/scribble.css
+++ b/collects/scribble/scribble.css
@@ -480,3 +480,7 @@ i {
   margin: 0em;
   padding: 0em;
 }
+
+.noborder img {
+  border: 0;
+}