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
81 lines
1.5 KiB
CSS
81 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
|
|
*/
|
|
/*
|
|
Creates rounded, raised boxes like on the Ext website - the markup isn't pretty:
|
|
<div class="x-box-blue">
|
|
<div class="x-box-tl"><div class="x-box-tr"><div class="x-box-tc"></div></div></div>
|
|
<div class="x-box-ml"><div class="x-box-mr"><div class="x-box-mc">
|
|
<h3>YOUR TITLE HERE (optional)</h3>
|
|
<div>YOUR CONTENT HERE</div>
|
|
</div></div></div>
|
|
<div class="x-box-bl"><div class="x-box-br"><div class="x-box-bc"></div></div></div>
|
|
</div>
|
|
*/
|
|
|
|
.x-box-tl {
|
|
background: transparent no-repeat 0 0;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-box-tc {
|
|
height: 8px;
|
|
background: transparent repeat-x 0 0;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.x-box-tr {
|
|
background: transparent no-repeat right -8px;
|
|
}
|
|
|
|
.x-box-ml {
|
|
background: transparent repeat-y 0;
|
|
padding-left: 4px;
|
|
overflow: hidden;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-box-mc {
|
|
background: repeat-x 0 -16px;
|
|
padding: 4px 10px;
|
|
}
|
|
|
|
.x-box-mc h3 {
|
|
margin: 0 0 4px 0;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-box-mr {
|
|
background: transparent repeat-y right;
|
|
padding-right: 4px;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.x-box-bl {
|
|
background: transparent no-repeat 0 -16px;
|
|
zoom:1;
|
|
}
|
|
|
|
.x-box-bc {
|
|
background: transparent repeat-x 0 -8px;
|
|
height: 8px;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.x-box-br {
|
|
background: transparent no-repeat right -24px;
|
|
}
|
|
|
|
.x-box-tl, .x-box-bl {
|
|
padding-left: 8px;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.x-box-tr, .x-box-br {
|
|
padding-right: 8px;
|
|
overflow: hidden;
|
|
}
|