/* Marc Elie - 13.VII.2007 */
/*********************************************************************************
Petit script adapte de http://www.white-hat-web-design.co.uk/articles/js-fontsize.php
- Modifications:
passage a la notation 'em' et non plus 'px'; d'ou emploi de parseFloat et non plus parseInt;
et incrementation relative de la taille de la police et non plus fixe;
- Voici les lignes a integrer au code html:
∧
∨
- Voici la ligne a ajouter au fichier inc-head.html apres la balise #INSERT_HEAD
ou bien entre les balises apres l'appel du fichier inc-head.html ():
**********************************************************************************/
var min = 0.7;
var max = 2;
function augmTailleCara() {
var p = document.getElementsByTagName('p');
for(i = 0; i < p.length; i++) {
if(p[i].style.fontSize) {
var s = parseFloat(p[i].style.fontSize.replace("em",""));
} else {
var s = 1;
}
if(s <= max) {
s += s * 0.15;
}
p[i].style.fontSize = s + "em"
}
}
function diminTailleCara() {
var p = document.getElementsByTagName('p');
for(i = 0; i < p.length; i++) {
if(p[i].style.fontSize) {
var s = parseFloat(p[i].style.fontSize.replace("em",""));
} else {
var s = 1;
}
if(s >= min) {
s -= s * 0.15;
}
p[i].style.fontSize = s + "em"
}
}