mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-24 17:22:08 +01:00
36 lines
775 B
CSS
36 lines
775 B
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
.x-progress-wrap {
|
|
border-color:#18181a;
|
|
}
|
|
|
|
.x-progress-inner {
|
|
background-color:#232d38;
|
|
background-image:none;
|
|
}
|
|
|
|
.x-progress-bar {
|
|
background-color:#f39a00;
|
|
background-image:url(../images/access/progress/progress-bg.gif);
|
|
border-top-color:#a66900;
|
|
border-bottom-color:#a66900;
|
|
border-right-color:#ffb941;
|
|
height: 20px !important; /* structural override for Accessibility Theme */
|
|
}
|
|
|
|
.x-progress-text {
|
|
font-size:14px;
|
|
font-weight:bold;
|
|
color:#fff;
|
|
padding: 0 5px !important; /* structural override for Accessibility Theme */
|
|
}
|
|
|
|
.x-progress-text-back {
|
|
color:#aaa;
|
|
line-height: 19px;
|
|
}
|