- shrink the option button as much as we can svn path=/trunk/playground/graphics/okular/; revision=586288