Openoffice font size

The Debian Openoffice package comes with a too large font for the GUI. To change it go to Tools > Options > Openoffice.org > View > Scalling.