reduced font size for obj panel
Merge branch 'ob_extjs5_ui' into extjs5