()
| 66 | }) |
| 67 | |
| 68 | function getDescription() { |
| 69 | const summary = document.querySelector<HTMLMetaElement>( |
| 70 | 'meta[name="description"]' |
| 71 | ).content |
| 72 | summary && prompt(i18n("getDescription"), summary) |
| 73 | } |
| 74 | |
| 75 | function downloadPdf() { |
| 76 | const article = document.querySelector<HTMLElement>(".container") |