/** @class Ext.grid.column.Column */ // $grid-column-header-font-size: dynamic(ceil($font-size * .9)); $grid-column-header-focus-border-style: dynamic(dotted);