Note : après avoir enregistré vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

  • Firefox / Safari : Maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ou Ctrl-R (⌘-R sur un Mac) ;
  • Google Chrome : Appuyez sur Ctrl-Maj-R (⌘-Shift-R sur un Mac) ;
  • Internet Explorer : Maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ;
  • Opera : Allez dans Menu → Settings (Opera → Préférences sur un Mac) et ensuite à Confidentialité & sécurité → Effacer les données d'exploration → Images et fichiers en cache.
/* Champs */
#wpTextbox1 { Font-family: Consolas !important; padding-left: 20em; font-size: 14px; height: 1000px;}

/* Informations lors de l’édition */
#copyrightwarning_default,  #copyrightwarning_page, #msgNewarticletext { display: none !important; }
.editOptions { padding: 5px; }
.editHelp{display: none; }

#pagequality { margin-bottom: 5px; text-align: center;}

/* Petites modifs du design des pagelist */
#pagelist a { font-family: Consolas; font-size: 110%; pading: 0.1px; 
padding-left:1px; padding-right:2px; border: 1px solid rgb(240, 240, 240); 
margin: -2px; color: black; font-weight:bold;}
#pagelist a:hover { border: 1px solid #aaaaaa;}
#pagelist { padding: 2px; padding-top: 0.1px; padding-bottom: 0.1px}
#pagelist a.new {color:#777777;}

/* Masquer les le titre courant si current=""pour gagner de la place dans le navigateur */
#subheader td[width="34%"]:empty { display: none; }