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.
body.ns-104 div.pagetext {
    font-family: "Mono";
    border:dashed 1px grey;
    padding:1em;
    box-sizing: border-box;
    margin:1em 0;
    min-height:600px;
}
body.ns-104 div.prp-page-content textarea {
    background:#f8f8f8;
    color:#222;
    font-family: "DPCustomMono2";
    font-size: .85em;
}
.rix{
	cursor:help;
	position:relative;
}
.rix-info{
	position: absolute;
    width: 300px;
    background: #fffdeb;
    border: solid 1px #FFC107;
    padding: 5px;
    bottom: 10px;
    color: #111;
    font-size: 14px;
    font-family: sans-serif;
    left: 10px;
    box-shadow: 3px 3px 5px #ddd;
    cursor:pointer;
    z-index:99;
    text-indent:0;
    text-align:left;
}
.scanille{
	background: rgba(244, 54, 54, 0.27);
    border-bottom: solid 1px #cc0c0c;
}
.whitespace{
	background:#3698f445;
	border-bottom:solid 1px blue;
	color:transparent;
}
.narrowwhitespace{
	background:#c1f43645;
	border-bottom:solid 1px green;
	color:transparent;
}