zanata/zanata-server — pull request #350 by huangp (2014-01-31 06:10:32+00:00)
Title: add ids to some gwt elements

- add id to editor buttons.
- navigation menu become invisible when screen is too small. Change BasePage to cater for that.