Merge remote-tracking branch 'origin/beta'
Merge remote-tracking branch 'origin/alpha' into beta
Merge remote-tracking branch 'origin/alpha'
Merge remote-tracking branch 'origin/beta'
minor changes to css style to address issue #116 (css issues when resizing panels)
[Emulink] minor changes to css to handle panel resize
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)
patch for bug #118 (pvsio-web becomes unresponsive because of codemirror syntax highlighter)