Upgrade to ExtJS 3.3.0 - Released 10/06/2010

[extjs.git] / docs / resources / docs.js

diff --git a/docs/resources/docs.js b/docs/resources/docs.js
index 7f120a2..bcc913c 100644 (file)
--- a/docs/resources/docs.js
+++ b/docs/resources/docs.js
@@ -391,7 +391,7 @@ Ext.onReady(function(){
         layout:'border',
         items:[ {
             cls: 'docs-header',
-            height: 36,
+            height: 44,
             region:'north',
             xtype:'box',
             el:'header',