mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-26 02:02:10 +01:00
38 lines
772 B
CSS
38 lines
772 B
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
.x-list-header{
|
|
background-color:#f9f9f9;
|
|
background-image:url(../images/gray/grid/grid3-hrow2.gif);
|
|
}
|
|
|
|
.x-list-header-inner div em {
|
|
border-left-color:#ddd;
|
|
font:normal 11px arial, tahoma, helvetica, sans-serif;
|
|
}
|
|
|
|
.x-list-body dt em {
|
|
font:normal 11px arial, tahoma, helvetica, sans-serif;
|
|
}
|
|
|
|
.x-list-over {
|
|
background-color:#eee;
|
|
}
|
|
|
|
.x-list-selected {
|
|
background-color:#f0f0f0;
|
|
}
|
|
|
|
.x-list-resizer {
|
|
border-left-color:#555;
|
|
border-right-color:#555;
|
|
}
|
|
|
|
.x-list-header-inner em.sort-asc, .x-list-header-inner em.sort-desc {
|
|
background-image:url(../images/gray/grid/sort-hd.gif);
|
|
border-color: #d0d0d0;
|
|
}
|