web GUI enhancements:
1) EV and inputbar resize with browser window   
2) dockPanel supports stylebar and titlebar 
3) vertical separator for stylebar
4) background,border tweaks
 

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@23819 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
sharpen the red triangles

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@23820 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e