mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-25 01:32:13 +01:00
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
87 lines
1.7 KiB
CSS
87 lines
1.7 KiB
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
.x-window-proxy {
|
|
background-color:#c7dffc;
|
|
border-color:#99bbe8;
|
|
}
|
|
|
|
.x-window-tl .x-window-header {
|
|
color:#15428b;
|
|
font:bold 11px tahoma,arial,verdana,sans-serif;
|
|
}
|
|
|
|
.x-window-tc {
|
|
background-image: url(../images/default/window/top-bottom.png);
|
|
}
|
|
|
|
.x-window-tl {
|
|
background-image: url(../images/default/window/left-corners.png);
|
|
}
|
|
|
|
.x-window-tr {
|
|
background-image: url(../images/default/window/right-corners.png);
|
|
}
|
|
|
|
.x-window-bc {
|
|
background-image: url(../images/default/window/top-bottom.png);
|
|
}
|
|
|
|
.x-window-bl {
|
|
background-image: url(../images/default/window/left-corners.png);
|
|
}
|
|
|
|
.x-window-br {
|
|
background-image: url(../images/default/window/right-corners.png);
|
|
}
|
|
|
|
.x-window-mc {
|
|
border-color:#99bbe8;
|
|
font: normal 11px tahoma,arial,helvetica,sans-serif;
|
|
background-color:#dfe8f6;
|
|
}
|
|
|
|
.x-window-ml {
|
|
background-image: url(../images/default/window/left-right.png);
|
|
}
|
|
|
|
.x-window-mr {
|
|
background-image: url(../images/default/window/left-right.png);
|
|
}
|
|
|
|
.x-window-maximized .x-window-tc {
|
|
background-color:#fff;
|
|
}
|
|
|
|
.x-window-bbar .x-toolbar {
|
|
border-top-color:#99bbe8;
|
|
}
|
|
|
|
.x-panel-ghost .x-window-tl {
|
|
border-bottom-color:#99bbe8;
|
|
}
|
|
|
|
.x-panel-collapsed .x-window-tl {
|
|
border-bottom-color:#84a0c4;
|
|
}
|
|
|
|
.x-dlg-mask{
|
|
background-color:#ccc;
|
|
}
|
|
|
|
.x-window-plain .x-window-mc {
|
|
background-color: #ccd9e8;
|
|
border-color: #a3bae9 #dfe8f6 #dfe8f6 #a3bae9;
|
|
}
|
|
|
|
.x-window-plain .x-window-body {
|
|
border-color: #dfe8f6 #a3bae9 #a3bae9 #dfe8f6;
|
|
}
|
|
|
|
body.x-body-masked .x-window-plain .x-window-mc {
|
|
background-color: #ccd9e8;
|
|
}
|