mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-25 17:52:18 +01:00
26 lines
554 B
CSS
26 lines
554 B
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
#x-debug-browser .x-tree .x-tree-node a span {
|
|
padding-top:2px;
|
|
line-height:18px;
|
|
}
|
|
|
|
#x-debug-browser .x-tool-toggle {
|
|
background-position:0 -75px;
|
|
}
|
|
|
|
#x-debug-browser .x-tool-toggle-over {
|
|
background-position:-15px -75px;
|
|
}
|
|
|
|
#x-debug-browser.x-panel-collapsed .x-tool-toggle {
|
|
background-position:0 -60px;
|
|
}
|
|
|
|
#x-debug-browser.x-panel-collapsed .x-tool-toggle-over {
|
|
background-position:-15px -60px;
|
|
} |