set border-color for color-button in styleBar

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36824 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
#4208 fix: options panel dissapeared when tab was changed.

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36825 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Fix for #4280

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36826 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
AV TreeMode: show correct names/translations (web)

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