geonetwork/core-geonetwork — pull request #90 by Delawen (2013-05-17 11:27:18+00:00)
Title: Fixes for HTML5UI and new style

Fixes for HTML5UI and new style.