[racket-dev] Tweaked doc pages

From: Danny Yoo (dyoo at cs.wpi.edu)
Date: Tue Mar 5 14:13:11 EST 2013

Hi Eli,

Just wanted to give some more feedback on newdocs; the select box for
getting at the other version of the docs is great!

Can the version box be moved above the Google search bar or a little
away from it?  The issue I ran across is that I start a google custom
search, and the location of the version select gets pushed down by the
search results.  It almost seems like the version box is associated to
the Google search.

I'm really happy with the Google search on the side.

Posted on the dev mailing list.