From 3da7af087ade7a264b159186a73ce05e1202f6bc Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Fri, 25 Aug 2023 13:35:15 +0200
Subject: [PATCH] checkmark symbols for checklists

---
 themes/default.css | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/themes/default.css b/themes/default.css
index d60f087..0bd8c2a 100644
--- a/themes/default.css
+++ b/themes/default.css
@@ -109,6 +109,26 @@ main pre {
   overflow-x: auto;
 }
 
+li.task > input[type=checkbox][disabled],
+li.task > p > input[type=checkbox][disabled] {
+  display: none;
+}
+li.task > p:first-child { display: inline-block;}
+
+-li.task:before { font-size: 1.125em; }
+li.task.pending:before  { content: '\274f  '; color: #222; }
+li.task.partial:before  { content: '\25d4  '; color: #880; }
+li.task.negative:before { content: '\2718  '; color: #800; }
+li.task.done:before     { content: '\2714  '; color: #080; }
+
+/* Alternative Check Symbols, all from "geometric shapes" block */ /*
+-li.task.pending:before  { content: '\25a1  '; color: #222; }
+-li.task.partial:before  { content: '\25d4  '; color: #880; }
+-li.task.negative:before { content: '\25a8  '; color: #800; }
+-li.task.done:before     { content: '\25a3  '; color: #080; }
+*/
+
+
 /* === Editor === */
 
 [id$="/[edit]"] main .pagemenu {
-- 
2.39.2