16.15 setStyle
16.15.1 Description
Le script setStyle permet de changer le style appliqué à Platform ou
d'actualiser le style actuellement utilisé.
16.15.2 Usage
- style
- 
Chemin d'accès vers un fichier .stycontenant la description du style à utiliser ou nom du style dans le sous-répertoireSTYLE(STYLE/%s/%s.sty).Si stylen'est pas spécifié, alors le style actuellement utilisé est actualisé.Voir gestion des styles. 
- 
verbose(defaultno)
- Permet d'indiquer au script d'afficher plus de messages (yes) durant son exécution, ou d'afficher moins de messages (no).
16.15.3 Limite d'usage
N/A