From 3b6a96bbcb3a51b85f5dca8b81307e981ba1527d Mon Sep 17 00:00:00 2001
From: Lukas Stancik <lukas.stancik@gmail.com>
Date: Tue, 7 Apr 2026 12:12:05 +0200
Subject: [PATCH] Change the markup to an extended button element

---
 src/to_html.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/to_html.rs b/src/to_html.rs
index 7eded21..80faacd 100644
--- a/src/to_html.rs
+++ b/src/to_html.rs
@@ -461,7 +461,7 @@ fn on_enter_block_quote(context: &mut CompileContext) {
 fn on_enter_task(context: &mut CompileContext) {
     context.tight_stack.push(false);
     // context.line_ending_if_needed();
-    context.push("<task-todo>");
+    context.push("<button is=\"task-tracker\">");
 }
 
 /// Handle [`Enter`][Kind::Enter]:[`CodeIndented`][Name::CodeIndented].
@@ -771,7 +771,7 @@ fn on_exit_task(context: &mut CompileContext) {
     context.tight_stack.pop();
     // context.line_ending_if_needed();
     // context.slurp_one_line_ending = false;
-    context.push("</task-todo>");
+    context.push("</button>");
 }
 
 /// Handle [`Exit`][Kind::Exit]:[`CharacterReferenceMarker`][Name::CharacterReferenceMarker].