/* Ce script détecte les feuilles de style alternatives placées
dans la page, et les récupère dans une liste. L'attribut «title»
de la feuille est affiché comme un lien javaccript: qui permet
de changer dynamiquement la feuille active. Ces feuilles, placées
dans le du document, doivent obéir à certains critères :
- la syntaxe est de la forme :
- l'attribut «disabled» est en théorie facultatif mais c'est mieux de le mettre.
- Si la taille d'un border, padding ou margin est modifiée, les autres valeurs
doivent être réduites ou aumentées pour conserver la même largeur totale.
À savoir, la colonne de gauche doit faire EXACTEMENT 146 pixels de large.
- le titre doit être assez court.
- L'encodage conseillé est l'ISO Latin 1 (iso-8859-1) mais tout encodage ISO occidental peut aussi être utilisé, ainsi que les encodages romains Mac et Windows, à condition de bien le préciser dans l'attribut charset.
Pour accéder au , il faut ouvrir le fichier /static/head.html
EN TOUS CAS, CE FICHIER JAVASCRIPT NE DOIT PAS ÊTRE MODIFIÉ POUR AJOUTER UN CSS
*/
var sm=0
while(document.getElementsByTagName("LINK")[sm].title=="Not Custom")
sm++
stylinks=new Array()
for(var x=0; x+sm 0)
{
offset = document.cookie.indexOf(search)
if (offset != -1)
{
offset += search.length
end = document.cookie.indexOf(";", offset)
if (end == -1)
end = document.cookie.length
var def=document.cookie.substring(offset, end)
setStyle(def)
}
else
setStyle(0)
}
else
setStyle(0)
for(var x in stylinks)
document.writeln(' ')