[mkdocs.plugins]
juvix = mkdocs_juvix.plugin:JuvixPlugin
juvix-standalone = mkdocs_juvix.standalone:render
