Extjs 字体问题

Extjs 在很多情况下使用 11px 字体，11px 大小是一种边缘字体，不同的浏览器对 11px
的渲染各不相同，IE 的渲染和12px 相似，而在 Firefox 中，则和 10px相似，导致字体在FF
中过小的问题。当然，英文看不出来，中文则相当别扭。像我这种追求完美的人是无法忍受
的。网上有一些文章能解决一部分问题，但不能解决全部问题，一不做二不休，我们干脆打
开extjs/resources/css/ext-all.css文件，把里面的 11px全部替换成 12px，OK，成了。