Cette journée de formation sera en tout point mémorable. En parlant tout haut, j'ai enfin trouvé la solution simple au redimensionnement dynamique de la taille des polices en fonction de la résolution du navigateur.

Le code html habituel pour lier la page html à la page css

<link type="text/css" href="css/style.css" rel="stylesheet" />

Remplacé par un javascript qui pointe sur une page Php...

<script language="javascript">
document.write('<link type="text/css" href="css/style.php?res=',screen.height,'" rel="stylesheet" />');
</script>

La résolution de l'écran est passé en tant que paramètre.

La feuille de style style.php

<?php
header("Content-Type: text/css");
$k=$_GET['res'];
//Définition de la taille de référence
$size=round(12*$k/768);
$size=$size.'pt';
//Une écriture peu connue...
$css=<<<BODY
body
{
  margin: 0px 0px 0px 0px;
  padding: 0px 0px 0px 0px;
  font-size:$size;
}
h1
{
  font-size:1.5em;
}
BODY;
echo $css;
?>

L'unité utilisée pour les autres styles doit être exprimée en em. Dans ce cas, la taille de référence est celle affectée à la balise body. Tout devient relatif.