Leave the platform colors as is.

This commit is contained in:
Eli Barzilay 2011-08-13 20:14:41 -04:00
parent 891df4919c
commit f6fe18a736

View File

@ -6,7 +6,6 @@
(provide render-download-page) (provide render-download-page)
(define (render-download-page [release current-release] [package 'racket]) (define (render-download-page [release current-release] [package 'racket])
(define version (release-version release)) (define version (release-version release))
(define combo-style `("background-color: #e8e8e8; color: #808080;"))
@center-div{ @center-div{
@h2{Download @(package->name package) v@version @h2{Download @(package->name package) v@version
(@(release-date-string release))} (@(release-date-string release))}
@ -16,12 +15,9 @@
" letter-spacing: 0.2em;" " letter-spacing: 0.2em;"
" margin: 0.5ex 0 1ex 0; width: 100%;")] " margin: 0.5ex 0 1ex 0; width: 100%;")]
@br @br
@div[style: combo-style]{ @div{
Platform: Platform:
@select[id: "platform_selector" style: combo-style @select[id: "platform_selector"
onfocus: '("this.oldcolor=this.style.color;"
" this.style.color='#000000';")
onblur: `("this.style.color=this.oldcolor;")
onchange: "selection_changed();" onchange: "selection_changed();"
onkeypress: "selection_changed();"]{ onkeypress: "selection_changed();"]{
@(for/list ([i (in-list all-installers)] @(for/list ([i (in-list all-installers)]