Michael Zhou 7c96cd81d9 Fix border-radius on Firefox > 12 ...

From https://developer.mozilla.org/en-US/docs/Web/CSS/border-radius :
Support for the prefixed version (-moz-border-radius) was removed in
Gecko 13.0 (Firefox 13.0 / Thunderbird 13.0 / SeaMonkey 2.10).

Fix to use "border-radius" instead.

Change-Id: Id39377bcd7107241b0dd8020675a3da44c3cde59

2013-12-14 03:43:04 +00:00

..

src

Fix border-radius on Firefox > 12

2013-12-14 03:43:04 +00:00

BUCK

Save GWT compile time by avoiding javac

2013-11-30 11:06:50 -08:00

COPYING

Subtree merge in gwtexpui as gerrit-gwtexpui

2013-04-11 14:30:01 -07:00