]> git.plutz.net Git - shellwiki/commitdiff
checkmark symbols for checklists
authorPaul Hänsch <paul@plutz.net>
Fri, 25 Aug 2023 11:35:15 +0000 (13:35 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 25 Aug 2023 11:35:15 +0000 (13:35 +0200)
themes/default.css

index d60f08735a8d5b385069b2482d6a0551f8c765d1..0bd8c2a410486578b172aed0818958200c86bff9 100644 (file)
@@ -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 {