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
66 lines
1.2 KiB
CSS
66 lines
1.2 KiB
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
.x-pivotgrid .x-grid3-header-offset table {
|
|
width: 100%;
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
.x-pivotgrid .x-grid3-header-offset table td {
|
|
padding: 4px 3px 4px 5px;
|
|
text-align: center;
|
|
white-space: nowrap;
|
|
overflow: hidden;
|
|
text-overflow: ellipsis;
|
|
font-size: 11px;
|
|
line-height: 13px;
|
|
font-family: tahoma;
|
|
}
|
|
|
|
.x-pivotgrid .x-grid3-row-headers {
|
|
display: block;
|
|
float: left;
|
|
}
|
|
|
|
.x-pivotgrid .x-grid3-row-headers table {
|
|
height: 100%;
|
|
width: 100%;
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
.x-pivotgrid .x-grid3-row-headers table td {
|
|
height: 18px;
|
|
padding: 2px 7px 0 0;
|
|
text-align: right;
|
|
text-overflow: ellipsis;
|
|
font-size: 11px;
|
|
font-family: tahoma;
|
|
}
|
|
|
|
.ext-gecko .x-pivotgrid .x-grid3-row-headers table td {
|
|
height: 21px;
|
|
}
|
|
|
|
.x-grid3-header-title {
|
|
top: 0%;
|
|
left: 0%;
|
|
position: absolute;
|
|
text-align: center;
|
|
vertical-align: middle;
|
|
font-family: tahoma;
|
|
font-size: 11px;
|
|
padding: auto 1px;
|
|
display: table-cell;
|
|
}
|
|
|
|
.x-grid3-header-title span {
|
|
position: absolute;
|
|
top: 50%;
|
|
left: 0%;
|
|
width: 100%;
|
|
margin-top: -6px;
|
|
}
|