scala/scala-lang — pull request #87 by adriaanm (2013-07-30 17:40:58+00:00)
Title: Allow customizing font size for download button.

"2.11.0-M4" doesn't fit at 20px, but it will at 18px
Would be cool if we could auto-size this.

This should allow fixing #82

Review by @heathermiller