()
| 53 | }) |
| 54 | |
| 55 | function getDescription() { |
| 56 | const summary = document.querySelector<HTMLMetaElement>( |
| 57 | 'meta[name="description"]' |
| 58 | ).content |
| 59 | summary && prompt(i18n("getDescription"), summary) |
| 60 | } |
| 61 | |
| 62 | function downloadPdf() { |
| 63 | const article = document.querySelector<HTMLElement>("#bgchange") |