Index: src/wp-includes/css/editor.css
===================================================================
--- src/wp-includes/css/editor.css	(revision 30548)
+++ src/wp-includes/css/editor.css	(working copy)
@@ -975,15 +975,12 @@
 	color: #222;
 }
 
-.wp-switch-editor:active,
-.html-active .switch-html:focus,
-.tmce-active .switch-tmce:focus {
-	-webkit-box-shadow: none;
-	box-shadow: none;
+.wp-switch-editor:active {
+	background-color: #f5f5f5;
 }
 
-.wp-switch-editor:active {
-	background-color: #f5f5f5;
+.wp-switch-editor:active,
+.wp-switch-editor:focus:active {
 	-webkit-box-shadow: none;
 	box-shadow: none;
 }