From: Paul Hänsch <paul@plutz.net>
Date: Fri, 25 Aug 2023 11:35:15 +0000 (+0200)
Subject: checkmark symbols for checklists
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=3da7af087ade7a264b159186a73ce05e1202f6bc;p=shellwiki

checkmark symbols for checklists
---

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 {