()
| 125 | }) |
| 126 | |
| 127 | function getDescription() { |
| 128 | const summary = document.querySelector<HTMLMetaElement>( |
| 129 | 'meta[name="description"]' |
| 130 | ).content |
| 131 | summary && prompt(i18n("getDescription"), summary) |
| 132 | } |
| 133 | |
| 134 | function downloadPdf() { |
| 135 | const article = document.querySelector<HTMLElement>("article") |