From 28bdce53494dff29918d164c5e104f0e6ac47f43 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Tue, 24 May 2011 04:56:01 -0400
Subject: [PATCH] Shorten link names at the bottom of download pages.

---
 collects/meta/web/download/download-pages.rkt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/collects/meta/web/download/download-pages.rkt b/collects/meta/web/download/download-pages.rkt
index a1eda448ec..160a5ba0f2 100644
--- a/collects/meta/web/download/download-pages.rkt
+++ b/collects/meta/web/download/download-pages.rkt
@@ -20,8 +20,10 @@
       @input[type: 'submit value: "Download" onclick: "do_jump();"]
       @|br hr|
       @div[align: "center"]{
-        @small{@all-version-pages @nbsp @bull @nbsp
-               @license @nbsp @bull @nbsp @pre:installers}}
+        @(let ([links (list all-version-pages
+                            @license{License}
+                            @pre:installers{Nightly installers})])
+           (small (add-between links @list{ @nbsp @bull @nbsp })))}
       @hr
       @div[id: "linux_explain"
            style: '("font-size: 75%; display: none; width: 28em;"