mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-27 18:52:06 +01:00
40 lines
689 B
CSS
40 lines
689 B
CSS
/*!
|
|
* Ext JS Library 3.2.0
|
|
* Copyright(c) 2006-2010 Ext JS, Inc.
|
|
* licensing@extjs.com
|
|
* http://www.extjs.com/license
|
|
*/
|
|
.x-portal .x-panel-dd-spacer {
|
|
margin-bottom:10px;
|
|
}
|
|
|
|
.x-portlet {
|
|
margin-bottom:10px;
|
|
}
|
|
|
|
/* Clean up the look of the portlets */
|
|
.x-portlet .x-panel-ml {
|
|
padding-left:2px;
|
|
}
|
|
.x-portlet .x-panel-mr {
|
|
padding-right:2px;
|
|
}
|
|
.x-portlet .x-panel-bl {
|
|
padding-left:2px;
|
|
}
|
|
|
|
.x-portlet .x-panel-br {
|
|
padding-right:2px;
|
|
}
|
|
.x-portlet .x-panel-body {
|
|
background:white;
|
|
}
|
|
.x-portlet .x-panel-mc {
|
|
padding-top:2px;
|
|
}
|
|
.x-portlet .x-panel-bc .x-panel-footer {
|
|
padding-bottom:2px;
|
|
}
|
|
.x-portlet .x-panel-nofooter .x-panel-bc {
|
|
height:2px;
|
|
} |