diff -r 41300fa6a67c -r f7bc934e204c doc/src/images/javastyle/sizegripimage.png
Binary file doc/src/images/javastyle/sizegripimage.png has changed