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
154 lines
2.5 KiB
CSS
154 lines
2.5 KiB
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
.x-tip{
|
|
position: absolute;
|
|
top: 0;
|
|
left:0;
|
|
visibility: hidden;
|
|
z-index: 20002;
|
|
border:0 none;
|
|
}
|
|
|
|
.x-tip .x-tip-close{
|
|
height: 15px;
|
|
float:right;
|
|
width: 15px;
|
|
margin:0 0 2px 2px;
|
|
cursor:pointer;
|
|
display:none;
|
|
}
|
|
|
|
.x-tip .x-tip-tc {
|
|
background: transparent no-repeat 0 -62px;
|
|
padding-top:3px;
|
|
overflow:hidden;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-tip .x-tip-tl {
|
|
background: transparent no-repeat 0 0;
|
|
padding-left:6px;
|
|
overflow:hidden;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-tip .x-tip-tr {
|
|
background: transparent no-repeat right 0;
|
|
padding-right:6px;
|
|
overflow:hidden;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-tip .x-tip-bc {
|
|
background: transparent no-repeat 0 -121px;
|
|
height:3px;
|
|
overflow:hidden;
|
|
}
|
|
|
|
.x-tip .x-tip-bl {
|
|
background: transparent no-repeat 0 -59px;
|
|
padding-left:6px;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-tip .x-tip-br {
|
|
background: transparent no-repeat right -59px;
|
|
padding-right:6px;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-tip .x-tip-mc {
|
|
border:0 none;
|
|
}
|
|
|
|
.x-tip .x-tip-ml {
|
|
background: no-repeat 0 -124px;
|
|
padding-left:6px;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-tip .x-tip-mr {
|
|
background: transparent no-repeat right -124px;
|
|
padding-right:6px;
|
|
zoom:1;
|
|
}
|
|
|
|
.ext-ie .x-tip .x-tip-header,.ext-ie .x-tip .x-tip-tc {
|
|
font-size:0;
|
|
line-height:0;
|
|
}
|
|
|
|
.ext-border-box .x-tip .x-tip-header, .ext-border-box .x-tip .x-tip-tc{
|
|
line-height: 1px;
|
|
}
|
|
|
|
.x-tip .x-tip-header-text {
|
|
padding:0;
|
|
margin:0 0 2px 0;
|
|
}
|
|
|
|
.x-tip .x-tip-body {
|
|
margin:0 !important;
|
|
line-height:14px;
|
|
padding:0;
|
|
}
|
|
|
|
.x-tip .x-tip-body .loading-indicator {
|
|
margin:0;
|
|
}
|
|
|
|
.x-tip-draggable .x-tip-header,.x-tip-draggable .x-tip-header-text {
|
|
cursor:move;
|
|
}
|
|
|
|
.x-form-invalid-tip .x-tip-tc {
|
|
background: repeat-x 0 -12px;
|
|
padding-top:6px;
|
|
}
|
|
|
|
.x-form-invalid-tip .x-tip-bc {
|
|
background: repeat-x 0 -18px;
|
|
height:6px;
|
|
}
|
|
|
|
.x-form-invalid-tip .x-tip-bl {
|
|
background: no-repeat 0 -6px;
|
|
}
|
|
|
|
.x-form-invalid-tip .x-tip-br {
|
|
background: no-repeat right -6px;
|
|
}
|
|
|
|
.x-form-invalid-tip .x-tip-body {
|
|
padding:2px;
|
|
}
|
|
|
|
.x-form-invalid-tip .x-tip-body {
|
|
padding-left:24px;
|
|
background:transparent no-repeat 2px 2px;
|
|
}
|
|
|
|
.x-tip-anchor {
|
|
position: absolute;
|
|
width: 9px;
|
|
height: 10px;
|
|
overflow:hidden;
|
|
background: transparent no-repeat 0 0;
|
|
zoom:1;
|
|
}
|
|
.x-tip-anchor-bottom {
|
|
background-position: -9px 0;
|
|
}
|
|
.x-tip-anchor-right {
|
|
background-position: -18px 0;
|
|
width: 10px;
|
|
}
|
|
.x-tip-anchor-left {
|
|
background-position: -28px 0;
|
|
width: 10px;
|
|
}
|