()
| 222 | } |
| 223 | |
| 224 | function downloadPdf() { |
| 225 | var article = document.querySelector<HTMLElement>("article .article-detail") |
| 226 | if (article) { |
| 227 | Print.print(article, { title: articleTitle }) |
| 228 | .then(() => console.log("Printing complete")) |
| 229 | .catch((error) => console.error("Printing failed:", error)) |
| 230 | } |
| 231 | } |
| 232 | |
| 233 | function downloadMarkdown() { |
| 234 | const html = document.querySelector<HTMLElement>("article .article-detail") |