[Graph representation] allow style modification of selected graph elements

Feature description

Someone can select a group of nodes and change the style of the selection only.

The user selects some nodes of interest -> opens the Style manager -> chooses specific color, font, size etc. for nodes and/or links