Small adjustment of label size in graphs

Version 0.0.7.5.3 : Selected terms in graphs explorer do not scale with the zoom. Consequently, the highlight gets smaller than the origin label. Highlighted labels should have the same scaling behavior than the underlying label.

Please also increase a little the ration label size / node size to have larger labels and try to center them with their node rather then left align.