local js = [[
<script>
  const urlParams = new URLSearchParams(window.location.search);
  const activityId = urlParams.get('id');

  const activityHeadline = document.getElementsByTagName("h1")[0];
  const activityName = activityHeadline.innerHTML;

  const completionHtml = `
  <div data-region="activity-information" data-activityname="${activityName}" class="activity-information">
    <div class="completion-info" data-region="completion-info">
      <button class="btn btn-subtle-body  btn-sm text-nowrap" data-action="toggle-manual-completion" data-toggletype="manual:mark-done" data-cmid="${activityId}" data-activityname="${activityName}" data-withavailability="" title="${activityName} als erledigt kennzeichnen" aria-label="${activityName} als erledigt kennzeichnen">
      Als erledigt kennzeichnen
      </button>
    </div>
  </div>
  `;

  var div = document.createElement('div');
  div.innerHTML = completionHtml.trim();

  var erledigtDiv = document.getElementById("erledigt-marker");
  erledigtDiv.replaceWith(div.firstChild);
</script>
]]

Div = function(el)
  if el.classes[1] == 'erledigt' then
    return {
      pandoc.RawInline("html", '<div id="erledigt-marker"></div>'),
      pandoc.RawInline("html", js)
    }
  end
  return el
end