--- a/wp/wp-includes/css/wp-pointer.css	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/css/wp-pointer.css	Mon Oct 14 18:28:13 2019 +0200
@@ -4,7 +4,7 @@
 	font-size: 13px;
 	background: #fff;
 	border: 1px solid #ddd;
-	box-shadow: 0 3px 6px rgba(0,0,0,0.075);
+	box-shadow: 0 3px 6px rgba(0, 0, 0, 0.075);
 }
 
 .wp-pointer-content h3 {
@@ -217,7 +217,7 @@
 }
 
 /* Disable pointers at responsive sizes */
-@media screen and ( max-width: 782px ) {
+@media screen and (max-width: 782px) {
 	.wp-pointer {
 		display: none;
 	}