New minor visual updates

Dear all,
We pushed a new update with some minor changes, mainly to cater smaller screens. I have dual 20 inch monitors, and am using a rather large resolution. Machines that use a smaller resolution, say 1024×786, were scrolling most of the time, looking at huge fonts on their screen.

This has been changed, now to make the site prettier on several screen sizes, not only the enormous resolutions.

Also, the top logo and menu bar have changed. We ditches the MacOS-reflecting fonts, and the gradient background. This is more inline with the new marketing material we’ll be getting in.

In the background, we load a larger keyword list via lazy loading, so if you wait a tenth of a second after your page is loaded you’ll have more keywords in your autocomplete.

Thanks,
Michael