/** @class Ext.panel.Tool */ // $tool-size: 15px !default;