From 189155ee61481277a57fc4342048a763e5b54ecb Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Sun, 20 Dec 2020 16:55:24 +0100
Subject: [PATCH] edit/head: optional admin stylesheet for editor overrides

Fix logout hiding if logged out.
---
 edit/head.inc.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/edit/head.inc.php b/edit/head.inc.php
index 76d9ea4..b2b50f3 100644
--- 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();
 
-- 
2.30.0