--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-includes/css/dist/editor/editor-styles-rtl.min.css	Mon Oct 14 18:28:13 2019 +0200
@@ -0,0 +1,1 @@
+body{font-family:"Noto Serif",serif;font-size:16px;line-height:1.8;color:#191e23}p{font-size:inherit;line-height:inherit}ol,ul{margin:0;padding:0}ol li,ul li{margin-bottom:0}ul{list-style-type:disc}ol{list-style-type:decimal}ol ul,ul ul{list-style-type:circle}
\ No newline at end of file