mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-25 01:32:13 +01:00
f06fee3640
This patch adds some missing newlines and trims multiple final newlines into a single newline. According to POSIX, a line is a sequence of zero or more non-' <newline>' characters plus a terminating '<newline>' character. [1] Files should normally have at least one final newline character. C89 [2] and later standards [3] mention a final newline: "A source file that is not empty shall end in a new-line character, which shall not be immediately preceded by a backslash character." Although it is not mandatory for all files to have a final newline fixed, a more consistent and homogeneous approach brings less of commit differences issues and a better development experience in certain text editors and IDEs. [1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206 [2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2 [3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
83 lines
1.5 KiB
CSS
83 lines
1.5 KiB
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
.x-menu {
|
|
background-color:#f0f0f0;
|
|
background-image:url(../images/default/menu/menu.gif);
|
|
}
|
|
|
|
.x-menu-floating{
|
|
border-color:#7D7D7D;
|
|
}
|
|
|
|
.x-menu-nosep {
|
|
background-image:none;
|
|
}
|
|
|
|
.x-menu-list-item{
|
|
font:normal 11px arial,tahoma,sans-serif;
|
|
}
|
|
|
|
.x-menu-item-arrow{
|
|
background-image:url(../images/gray/menu/menu-parent.gif);
|
|
}
|
|
|
|
.x-menu-sep {
|
|
background-color:#e0e0e0;
|
|
border-bottom-color:#fff;
|
|
}
|
|
|
|
a.x-menu-item {
|
|
color:#222;
|
|
}
|
|
|
|
.x-menu-item-active {
|
|
background-image: url(../images/gray/menu/item-over.gif);
|
|
background-color: #f1f1f1;
|
|
border-color:#ACACAC;
|
|
}
|
|
|
|
.x-menu-item-active a.x-menu-item {
|
|
border-color:#ACACAC;
|
|
}
|
|
|
|
.x-menu-check-item .x-menu-item-icon{
|
|
background-image:url(../images/default/menu/unchecked.gif);
|
|
}
|
|
|
|
.x-menu-item-checked .x-menu-item-icon{
|
|
background-image:url(../images/default/menu/checked.gif);
|
|
}
|
|
|
|
.x-menu-item-checked .x-menu-group-item .x-menu-item-icon{
|
|
background-image:url(../images/gray/menu/group-checked.gif);
|
|
}
|
|
|
|
.x-menu-group-item .x-menu-item-icon{
|
|
background-image:none;
|
|
}
|
|
|
|
.x-menu-plain {
|
|
background-color:#fff !important;
|
|
}
|
|
|
|
.x-menu .x-date-picker{
|
|
border-color:#AFAFAF;
|
|
}
|
|
|
|
.x-cycle-menu .x-menu-item-checked {
|
|
border-color:#B9B9B9 !important;
|
|
background-color:#F1F1F1;
|
|
}
|
|
|
|
.x-menu-scroller-top {
|
|
background-image:url(../images/default/layout/mini-top.gif);
|
|
}
|
|
|
|
.x-menu-scroller-bottom {
|
|
background-image:url(../images/default/layout/mini-bottom.gif);
|
|
}
|