如何在ExtJS 4.1中全面获得更大的字体？

Question

我绝不是一个老头，但我发现Ext JS（使用4.1）的字体大小太小了。

我想更改一切的整体默认字体大小 - 标题，按钮，网格，树，表单字段标签，表单字段等，并将其提升到默认值的约120％。

这里有什么最好的选择？

创建一个自定义主题似乎极端矫枉过正（如果这样就可以了）。

这是我现在的解决方案，它位于我的主要CSS文件中：

div, span, p, body, a, input, textarea, label {
  font-family: Calibri, Helvetica, Arial !important;
  font-size:    14px !important;
}

然而，这感觉很乱，而且这对我的Grid列标题和标签（它们的chrome不能正确拉伸）有害。它也使得我做偶尔需要不同字体的情况变得更加困难。

Answer 1

我担心最好的方法是重新编译主题。这样，所有组件将根据您的默认字体大小重新计算其大小，您将不会看到混乱的外观。

实际上很容易做到。按照此处的说明操作。 ExtJS Theme Guide。 一旦确定可以编译默认主题。在 themes / stylesheets / ext4 / default / variables / _core.scss 编辑文件，在第31行，将font-size更改为14px。

重新编译。

完成工作。