wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 03:35:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use display:inline-block for special character buttons"

Browse source
This commit is contained in:
jenkins-bot 2018-03-05 17:11:37 +00:00 committed by Gerrit Code Review
parent b54c262e0e 2592dc0e4c
commit 29d0094ca4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/jquery.wikiEditor.toolbar.less
View file

@ -284,6 +284,7 @@
/* Characters Pages */
.page-characters {
padding-bottom: 5px;
div {
span {
border: 1px solid #c8ccd1;
@ -293,8 +294,7 @@
margin-left: 5px;
margin-top: 5px;
height: 1em;
float: left;
display: block;
display: inline-block;
color: #000;
text-decoration: none;
cursor: pointer;