Oracle SQL Developer: changing the IDE fonts

Oracle SQLDeveloper provides a dialog window to change the editor within the SQL editor, but does not provide a GUI-ish way to change the fonts around the editor, for example the font size of the menues and of the dialogs. Today I discovered that it is possible to change also those fonts, or at least their size, but not in an easy way. You need to edit a file within your own installation directory, for example ~/.sqldeveloper/system26.2.0.186.2220/o.sqldeveloper/ide.properties and in such file seek for the property ide.FontSize. Please consider that there is a chain of ide.FontSize for operating systems and locales. On my system I adapted the following properties:



I set the font size to 16, and also enlarged the default dialog sizes to adapt better to the new font size. It would be nice to find also the font family, that probably is somewhere under the same directory layout.