[basex-talk] Increase/Decrease font size not possible with MacOS