wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-29 01:44:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Adjusts margin on settings icon

Browse source 
Bug: T193058
Change-Id: I0908ebbf7ab5fd6a54e5734cdc91531961cf10fa
This commit is contained in:
Jan Drewniak 2018-06-11 23:23:44 +02:00
parent 662192e0a5
commit 941d4b07b8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ui/templates/pagePreview/pagePreview.less
View file

@ -8,7 +8,7 @@
height: @iconSize; height: @iconSize;
padding: 3px; // enlarges icon box (visible on hover) padding: 3px; // enlarges icon box (visible on hover)
float: right; // positions icon near bottom right corner float: right; // positions icon near bottom right corner
margin: 4px; // adjusts position margin: 4px 4px 2px 4px; // adjusts position
text-indent: -1em; // offsets .mw-ui-icon-element:before { margin: 0 1em; } text-indent: -1em; // offsets .mw-ui-icon-element:before { margin: 0 1em; }
border-radius: @borderRadius; border-radius: @borderRadius;
&:hover { &:hover {