From a2e2b69241d4bdf680684015ea311dbd9cfc4b91 Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Wed, 21 Mar 2018 18:31:36 +0000
Subject: [PATCH] Provide a 'tool-active' styling for toggle buttons

Based on styling used by CodeMirror extension.

Change-Id: I74b7399c6dba3409b26656ae89fa3a569c69fef3
---
 modules/jquery.wikiEditor.toolbar.less | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/modules/jquery.wikiEditor.toolbar.less b/modules/jquery.wikiEditor.toolbar.less
index fbbfb0ff..0ddfd6d9 100644
--- a/modules/jquery.wikiEditor.toolbar.less
+++ b/modules/jquery.wikiEditor.toolbar.less
@@ -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 {