themes-base MDL-16319 Base theme now has an editor sheet and sets a default font size

lib/outputlib.php

@@ -577,7 +577,7 @@ class theme_config {
                 continue;
             }
             foreach ($parent_config->editor_sheets as $sheet) {
-                $sheetfile = "$parent_config->dir/$sheet.css";
+                $sheetfile = "$parent_config->dir/style/$sheet.css";
                 if (is_readable($sheetfile)) {
                     $files['parent_'.$parent_config->name.'_'.$sheet] = $sheetfile;
                 }

theme/base/config.php

@@ -51,7 +51,7 @@ $THEME->sheets = array(
     'user'
 );
 
-$THEME->editor_sheets = array();
+$THEME->editor_sheets = array('editor');
 
 $THEME->layouts = array(
     // Most backwards compatible layout without the blocks - this is the layout used by default

theme/base/style/editor.css

@@ -0,0 +1 @@
+body {font:13px/1.231 arial,helvetica,clean,sans-serif;}