ipython/ipython — pull request #7318 by Carreau (2014-12-26 17:00:03+00:00)
Title: fix border radius on element.

set a value to border-radius large, and actually make border radius
small smaller than border radius large.

Make dialog border radius coherent with the rest of the UI.