Customizing HTML tags

Djot does not (yet) support arbitrary HTML tags in its input or output. Djockey works around this by postprocessing Djot’s HTML output. Whenever you add a tag=foo attribute, Djockey will replace the element’s tag with the attribute’s value.

{tag=details} 
:::
{tag=summary} 
I'm from Mattel!

Well, I'm not really from Mattel. I'm actually from a smaller
company that was purchased in a leveraged buyout.
:::
I’m from Mattel!

Well, I’m not really from Mattel. I’m actually from a smaller company that was purchased in a leveraged buyout.

<details>
<summary>I’m from Mattel!</summary>
<p>Well, I’m not really from Mattel. I’m actually from a smaller
company that was purchased in a leveraged buyout.</p>
</details>
You can use Tab and Shift+Tab to select a result, then Enter to navigate.
Type a search into the box.