Convert checkbox to HTML

1 files changed, 7 insertions, 0 deletions

diff --git a/lib/document-to-html.js b/lib/document-to-html.js
index bd845f6..bd750f0 100644
--- a/lib/document-to-html.js
+++ b/lib/document-to-html.js
@@ -383,6 +383,13 @@ function DocumentConversion(options, comments) {
             var children = convertElements(element.children, messages, options);
             return [Html.nonFreshElement("a", attributes, children)];
         },
+        "checkbox": function(element) {
+            var attributes = {type: "checkbox"};
+            if (element.checked) {
+                attributes["checked"] = "checked";
+            }
+            return [Html.freshElement("input", attributes)];
+        },
         "bookmarkStart": function(element, messages, options) {
             var anchor = Html.freshElement("a", {
                 id: htmlId(element.name)