Java Development Tools

First of all, this question does not concern the code editor.
How to change the font for the editor is clear, well documented in the documentation as well as in many of this forums threads.
My question is how the font of all the IDE components can be increased.
Is some threads I found to change the font size in the ide.properties file.
I tried that solution but it does not bring any solution.
I'm a person with low vision, using a MB Pro with OS X lion just for overall better visibility.
Talking to a lot of people, who have good vision capabilities, it seems that even a lot of people suffer from the fonts which are to small.
So ... is it possible to document clearly where to do what and in what versions of JDeveloper.
I've not yet discovered if any kind of skin settings can be applied ... but this would be great, surely if some kind of predefined bigger fonts would be available.
Currently I'm using version 11.1.2 and 11.1.1.5.
Help would be dearly appreciated.
Greetings,
Jan.