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
104 lines
1.8 KiB
CSS
104 lines
1.8 KiB
CSS
/*!
|
|
* Ext JS Library 3.3.1
|
|
* Copyright(c) 2006-2010 Sencha Inc.
|
|
* licensing@sencha.com
|
|
* http://www.sencha.com/license
|
|
*/
|
|
/* Shared styles */
|
|
.x-slider {
|
|
zoom:1;
|
|
}
|
|
|
|
.x-slider-inner {
|
|
position:relative;
|
|
left:0;
|
|
top:0;
|
|
overflow:visible;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-slider-focus {
|
|
position:absolute;
|
|
left:0;
|
|
top:0;
|
|
width:1px;
|
|
height:1px;
|
|
line-height:1px;
|
|
font-size:1px;
|
|
-moz-outline:0 none;
|
|
outline:0 none;
|
|
-moz-user-select: none;
|
|
-khtml-user-select:none;
|
|
-webkit-user-select:ignore;
|
|
display:block;
|
|
overflow:hidden;
|
|
}
|
|
|
|
/* Horizontal styles */
|
|
.x-slider-horz {
|
|
padding-left:7px;
|
|
background:transparent no-repeat 0 -22px;
|
|
}
|
|
|
|
.x-slider-horz .x-slider-end {
|
|
padding-right:7px;
|
|
zoom:1;
|
|
background:transparent no-repeat right -44px;
|
|
}
|
|
|
|
.x-slider-horz .x-slider-inner {
|
|
background:transparent repeat-x 0 0;
|
|
height:22px;
|
|
}
|
|
|
|
.x-slider-horz .x-slider-thumb {
|
|
width:14px;
|
|
height:15px;
|
|
position:absolute;
|
|
left:0;
|
|
top:3px;
|
|
background:transparent no-repeat 0 0;
|
|
}
|
|
|
|
.x-slider-horz .x-slider-thumb-over {
|
|
background-position: -14px -15px;
|
|
}
|
|
|
|
.x-slider-horz .x-slider-thumb-drag {
|
|
background-position: -28px -30px;
|
|
}
|
|
|
|
/* Vertical styles */
|
|
.x-slider-vert {
|
|
padding-top:7px;
|
|
background:transparent no-repeat -44px 0;
|
|
width:22px;
|
|
}
|
|
|
|
.x-slider-vert .x-slider-end {
|
|
padding-bottom:7px;
|
|
zoom:1;
|
|
background:transparent no-repeat -22px bottom;
|
|
}
|
|
|
|
.x-slider-vert .x-slider-inner {
|
|
background:transparent repeat-y 0 0;
|
|
}
|
|
|
|
.x-slider-vert .x-slider-thumb {
|
|
width:15px;
|
|
height:14px;
|
|
position:absolute;
|
|
left:3px;
|
|
bottom:0;
|
|
background:transparent no-repeat 0 0;
|
|
}
|
|
|
|
.x-slider-vert .x-slider-thumb-over {
|
|
background-position: -15px -14px;
|
|
}
|
|
|
|
.x-slider-vert .x-slider-thumb-drag {
|
|
background-position: -30px -28px;
|
|
}
|