it is not really important, but for teaching I like bigger fonts in menu like "File". Almost all Programms respect the menu font size except PD.
Tested on Linux Debian KDE.
mfG Winfried Ritsch
Anonymous
You seem to have CSS turned off. Please don't fill out this field.
