From f6fe18a73618ff845cd986eda332a96f01ff6a9b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 13 Aug 2011 20:14:41 -0400 Subject: [PATCH] Leave the platform colors as is. --- collects/meta/web/download/download-pages.rkt | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/collects/meta/web/download/download-pages.rkt b/collects/meta/web/download/download-pages.rkt index e337d211dc..e14a48657b 100644 --- a/collects/meta/web/download/download-pages.rkt +++ b/collects/meta/web/download/download-pages.rkt @@ -6,7 +6,6 @@ (provide render-download-page) (define (render-download-page [release current-release] [package 'racket]) (define version (release-version release)) - (define combo-style `("background-color: #e8e8e8; color: #808080;")) @center-div{ @h2{Download @(package->name package) v@version (@(release-date-string release))} @@ -16,12 +15,9 @@ " letter-spacing: 0.2em;" " margin: 0.5ex 0 1ex 0; width: 100%;")] @br - @div[style: combo-style]{ + @div{ Platform: - @select[id: "platform_selector" style: combo-style - onfocus: '("this.oldcolor=this.style.color;" - " this.style.color='#000000';") - onblur: `("this.style.color=this.oldcolor;") + @select[id: "platform_selector" onchange: "selection_changed();" onkeypress: "selection_changed();"]{ @(for/list ([i (in-list all-installers)]