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)]