diff options
Diffstat (limited to 'vhosts/blog/nuldoc-src/djot')
| -rw-r--r-- | vhosts/blog/nuldoc-src/djot/to_html.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vhosts/blog/nuldoc-src/djot/to_html.ts b/vhosts/blog/nuldoc-src/djot/to_html.ts index 5ee76023..72c169a0 100644 --- a/vhosts/blog/nuldoc-src/djot/to_html.ts +++ b/vhosts/blog/nuldoc-src/djot/to_html.ts @@ -200,6 +200,7 @@ function transformNoteElement(doc: Document) { return; } + // TODO: 今のセクションレベルに合わせた h* タグにしたい const labelElement: Element = { kind: "element", name: "div", |