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

Provide a 'tool-active' styling for toggle buttons

Browse source 
Based on styling used by CodeMirror extension.

Change-Id: I74b7399c6dba3409b26656ae89fa3a569c69fef3
This commit is contained in:
Ed Sanders 2018-03-21 18:31:36 +00:00
parent 6b9aa52894
commit a2e2b69241
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -354,6 +354,13 @@
}
}
.tool-button.tool-active,
.tool.tool-active.oo-ui-buttonElement-frameless.oo-ui-iconElement {
outline: 1px solid #dae5ec;
background-color: #ecf4f9;
box-shadow: inset 0 -10px 10px rgba( 255, 255, 255, 0.4 );
}
.ui-widget {
table {
td.wikieditor-toolbar-table-preview-wrapper {