--- a/wp/wp-includes/css/editor.css	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/css/editor.css	Tue Sep 27 16:37:53 2022 +0200
@@ -623,7 +623,7 @@
 div.mce-menubar {
 	border-color: #dcdcde;
 	background: #fff;
-	border-width: 0px 0px 1px;
+	border-width: 0 0 1px;
 }
 
 .mce-menubar .mce-menubtn:hover,
@@ -643,7 +643,7 @@
 div.mce-menu .mce-menu-item-sep,
 .mce-menu-item-sep:hover {
 	border-bottom: 1px solid #dcdcde;
-	height: 0px;
+	height: 0;
 	margin: 5px 0;
 }