[web] make sure setFontStyle() always sets weight and style (+ tidying) 

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@24067 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
inequality export for pstricks etc, Unicode Symbol filling style

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

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@24069 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Java 5 compile error

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@24070 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Fix bad remove/add of geos in list of lists

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