edit/head: optional admin stylesheet for editor overrides

Fix logout hiding if logged out.

diff --git a/edit/head.inc.php b/edit/head.inc.php
index 76d9ea4e58d554a18c3ec337899206d0a480c250..b2b50f3b19a15506432345df0b6a664a8d27fcb7 100644 (file)
--- a/edit/head.inc.php
+++ b/edit/head.inc.php
@@ -25,11 +25,14 @@ if (isset($Page->raw)) {
        }
 }
 
+ob_start();
+if ($csssrc = '/admin.css' and file_exists(DOCROOT . $csssrc)) {
+       printf('<link rel="stylesheet" type="text/css" href="%s" />'."\n", $csssrc);
+}
 $ckesrc = '/lib/ckeditor'; # local install
 if (!file_exists(DOCROOT . $ckesrc)) {
        $ckesrc = '//cdn.ckeditor.com/4.15.1/full-all'; # remote fallback
 }
-ob_start();
 printf('<script src="/edit/page.js" data-ckesrc="%s"></script>'."\n", "$ckesrc/ckeditor.js");
 $Page->head = ob_get_clean();