We've cutted off the extra markup and CSS to get the rounded corners. Everything is done by javascript and a single image here.
If the user has javascript turned off, he'd see squared corners. Read related article.