如何在Linux上的eclipse H_e_l_p浏览器中更改字体大小

Question

我正在尝试更改eclipse（Mars CDT）帮助浏览器（非工作区）上的字体大小。介绍页面有字体大小按钮，但它们仅适用于打开页面，而不适用于帮助浏览器。