ontohub/ontohub — pull request #221 by SGraef (2013-08-19 12:09:27+00:00)
Title: Issue190 optimize ontology title bar

The Branch contains the Basics of the new Design it should be pulled for using in in the other branches