nonBreakingSpaces.js 1.2 KB

12345678910111213141516171819202122
  1. // insérer des espaces insécables avant les signes de ponctuations et remplacer les guillemets
  2. if (debug) console.log('start nonBreakingSpaces');
  3. (function() {
  4. let contentsToClean = document.querySelectorAll('.labeur, .free, .latour, .latour_nohead, .lampe, .lampe_nohead, .bibliographie, .citation');
  5. for (let content of contentsToClean) {
  6. content.innerHTML = content.innerHTML.replaceAll(' ;', ' ;');
  7. content.innerHTML = content.innerHTML.replaceAll(' :', ' :');
  8. content.innerHTML = content.innerHTML.replaceAll(' ?', ' ?');
  9. content.innerHTML = content.innerHTML.replaceAll(' !', ' !');
  10. content.innerHTML = content.innerHTML.replaceAll('« ', '« ');
  11. content.innerHTML = content.innerHTML.replaceAll(' »', ' »');
  12. content.innerHTML = content.innerHTML.replaceAll('(« ', '(« ');
  13. content.innerHTML = content.innerHTML.replaceAll(' »)', ' »)');
  14. content.innerHTML = content.innerHTML.replaceAll('“', '« ');
  15. content.innerHTML = content.innerHTML.replaceAll('”', ' »');
  16. content.innerHTML = content.innerHTML.replaceAll(' min', ' min');
  17. }
  18. })();
  19. if (debug) console.log('end nonBreakingSpaces');