diff -r c7c34916027a -r 177826044cd9 wp/wp-includes/css/dist/editor/editor-styles.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wp/wp-includes/css/dist/editor/editor-styles.css Mon Oct 14 18:28:13 2019 +0200 @@ -0,0 +1,60 @@ +/** + * Colors + */ +/** + * Breakpoints & Media Queries + */ +/** + * Often re-used variables + */ +/** + * Breakpoint mixins + */ +/** + * Long content fade mixin + * + * Creates a fading overlay to signify that the content is longer + * than the space allows. + */ +/** + * Button states and focus styles + */ +/** + * Applies editor left position to the selector passed as argument + */ +/** + * Applies editor right position to the selector passed as argument + */ +/** + * Styles that are reused verbatim in a few places + */ +/** + * Allows users to opt-out of animations via OS-level preferences. + */ +body { + font-family: "Noto Serif", serif; + font-size: 16px; + line-height: 1.8; + color: #191e23; } + +p { + font-size: inherit; + line-height: inherit; } + +ul, +ol { + margin: 0; + padding: 0; } + ul li, + ol li { + margin-bottom: initial; } + +ul { + list-style-type: disc; } + +ol { + list-style-type: decimal; } + +ul ul, +ol ul { + list-style-type: circle; }