wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 01:30:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup whitespace in modules/overlay/ext.echo.overlay.less

Browse source 
According to
https://www.mediawiki.org/wiki/Manual:Coding_conventions/CSS#LESS

Change-Id: I361909fcea67fa5e0e3cbb69711ede91417c4e2e
This commit is contained in:
Amir E. Aharoni 2015-01-04 11:39:16 +02:00
parent 7f5b0c1793
commit 94cb6103c2
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/overlay/ext.echo.overlay.less
View file

@ -6,6 +6,7 @@
@offset: 200px;
@chevronHeight: 11px;
@headerFontSize: 13px;
.mw-echo-overlay {
position: absolute;
top: 30px + @chevronHeight;
@ -42,6 +43,7 @@
.mw-ui-progressive {
cursor: pointer;
&.mw-ui-quiet {
pointer-events: none;
}
@ -154,6 +156,7 @@
content: " · ";
padding: 0 .25em;
}
&:last-child {
&::after {
content: '';