geonetwork/core-geonetwork — pull request #92 by Delawen (2013-05-22 08:10:05+00:00)
Title: Minor tweaks to HTML5UI

Font (css remove of "important"s) and tag cloud.