Utilisateur:M0tty/common.css

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.

/* marge grise à gauche de la boîte d'édition */
#wpTextbox1 { 
 border-left: 2em solid #eaecf0;
	}


/* modification des boutons radio de correction-validation
.prp-quality-radio {
border-radius: 0;
border : 0px;
box-shadow: 0 0 0 0;
}

.oo-ui-radioInputWidget.oo-ui-widget-enabled [type="radio"]:checked + span {
  border-color: #000;
}


.oo-ui-radioInputWidget [type="radio"] {
  width: 2em;
  height: 2em;
}


.oo-ui-radioInputWidget [type="radio"] + span {
  background-color: inherit;
  width: 2em;
  height: 2em;
  border-radius: 0;
}

.oo-ui-radioInputWidget [type="radio"] + span::before {
  border-radius: 0;
}

.oo-ui-radioInputWidget.oo-ui-widget-enabled [type="radio"] {
  margin: 0;
}
*/
/* Make edit-in-sequence toolbar sticky. */
div.prp-edit-in-sequence-toolbar {
	position: sticky;
	top: 0;
	z-index: 999;
}