// hardcoder les numéros de page plutôt que la propriété css de paged
// pour permettre d'exporter par intervales de pages
if (debug) console.log('start harcodePageNumbers');

(function() {

    let middleMargins = document.querySelectorAll('.pagedjs_left_page .pagedjs_margin-left-middle');
    for (let middleMargin of middleMargins) {
        middleMargin.innerHTML = middleMargin.parentNode.parentNode.parentNode.parentNode.dataset.pageNumber;
    }

})();

if (debug) console.log('end hardcodePageNumbers');