ExtJs默认的字体大小改变的几种方法(自己整理)

以下列出网上收集的几种方法，希望对大家有用。
1、
只需把ext-all.css样式文件中的所有11px换成12px，这样就为统一的12px的字体了。
但是如果再想增大,那么这时候不光是把源文件的11px换成15px，而且需要把里面和font有关的12px换成15px。

改完之后按钮出现毛边,在样式文件中加

毛边就不见了!
2、
由于在不同浏览器中，或者不同版本的同款浏览器中显示的extjs字体大小不一样。而且看起来比较小。不顺眼。

在网上查之，获得一条有用信息：extjs 在很多情况下使用 11px 字体，11px 大小是一种边缘字体，不同的浏览器对 11px
的渲染各不相同，ie 的渲染和12px 相似，而在 firefox 中，则和 10px相似，导致字体在ff
中过小的问题。
为了能够彻底的解决字体大小问题，直接打开ext-all.css，查找所有的11px并替换为12px。问题解决了
3、
extjs版本3.2.1，字体大小修改
上网找了好多资料，都说是加上

这样就好了，但是在ie9和ff下还是不好用。
后来到ext-all.css里慢慢试，才找到设置的地方。
把如下代码放到别的css里引用就行了：