Convert screen-desktop.less back to .css

A proposed change (I737a7447db1e44e0d6abaa4c07813295a5ac73a6) requires
this not to require Less parsing. It was unnecessary to convert this
to Less when I could have just removed an `/* @embed */` annotation.
Follow-up to ac8b055693.

Change-Id: Iba82f57d4ba3e65c61a5ef795b3b8d9c3f164a39
This commit is contained in:
Bartosz Dziewoński 2018-04-19 01:02:36 +02:00
parent 0a882121e4
commit 33e2eb5eef
2 changed files with 4 additions and 4 deletions

View file

@ -2,8 +2,6 @@
** Desktop-specific styles for MonoBook ** Desktop-specific styles for MonoBook
*/ */
@import 'mediawiki.mixins';
div#column-content { div#column-content {
float: right; float: right;
margin: 0 0 0.6em -12.2em; margin: 0 0 0.6em -12.2em;
@ -179,7 +177,9 @@ input.searchButton {
/* The icon in front of the username / login link */ /* The icon in front of the username / login link */
li#pt-userpage, li#pt-userpage,
li#pt-anonuserpage { li#pt-anonuserpage {
.background-image-svg( 'images/user.svg', 'images/user.gif' ); background-image: url( images/user.gif );
/* @embed */
background-image: linear-gradient( transparent, transparent ), url( images/user.svg );
background-position: top left; background-position: top left;
background-repeat: no-repeat; background-repeat: no-repeat;
padding-left: 20px; padding-left: 20px;

View file

@ -29,7 +29,7 @@
"resources/screen-common.less": { "resources/screen-common.less": {
"media": "screen" "media": "screen"
}, },
"resources/screen-desktop.less": { "resources/screen-desktop.css": {
"media": "screen" "media": "screen"
} }
} }