[zanata/zanata-platform] a9f6b7: fix: GWT editor font size

[GitHub]

  Branch: refs/heads/ZNTA-2344-editor-font-size
  Home:   https://github.com/zanata/zanata-platform
  Commit: a9f6b7d23c8ff429cf85166ab2b33cf9ed8da245
      https://github.com/zanata/zanata-platform/commit/a9f6b7d23c8ff429cf85166ab2b33cf9ed8da245
  Author: Alex Eng <aeng at redhat.com>
  Date:   2018-01-18 (Thu, 18 Jan 2018)

  Changed paths:
    M server/zanata-war/src/main/webapp/resources/assets/css/application.css

  Log Message:
  -----------
  fix: GWT editor font size

https://zanata.atlassian.net/browse/ZNTA-2344