zanata/zanata-server — pull request #558 by aeng (2014-08-18 00:01:33+00:00)
Title: Update GWT editor UI

Update css style for GWT editor