minor change in css style to fix min width of pvs editor
[Emulink] minor optimisations to reduce computation overhead when drawing transitions
minor changes to css style to avoid clipping buttons of dialogues (issue related to how Firefox renders buttons)