--- a/wp/wp-includes/css/wp-pointer.css	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/css/wp-pointer.css	Tue Sep 27 16:37:53 2022 +0200
@@ -140,7 +140,7 @@
 .wp-pointer-top .wp-pointer-arrow,
 .wp-pointer-undefined .wp-pointer-arrow {
 	top: 0;
-	border-width: 0 13px 13px 13px;
+	border-width: 0 13px 13px;
 	border-bottom-color: #2271b1;
 }
 
@@ -157,7 +157,7 @@
 
 .wp-pointer-bottom .wp-pointer-arrow {
 	bottom: 0;
-	border-width: 13px 13px 0 13px;
+	border-width: 13px 13px 0;
 	border-top-color: #c3c4c7;
 }