« MediaWiki:Vector.css » : différence entre les versions

m
aucun résumé des modifications
Kharmitch (discussion | contributions)
mAucun résumé des modifications
Kharmitch (discussion | contributions)
mAucun résumé des modifications
Ligne 607 : Ligne 607 :
color: var(--color-base);
color: var(--color-base);
border-color: var(--border-color-base--darker);
border-color: var(--border-color-base--darker);
}
/* Nouvel éditeur 2017 */
.ve-ce-documentNode-codeEditor-webkit-hide {
-webkit-text-fill-color: #99999996;
}
}
.oo-ui-processDialog-navigation {
.oo-ui-processDialog-navigation {
Ligne 969 : Ligne 965 :
.CategoryTreeToggle {
.CategoryTreeToggle {
   color: var(--color-link);
   color: var(--color-link);
}
/* ------------------------ */
/* Extension:CodeMirror    */
/* ------------------------ */
.CodeMirror {
  color: var(--color-base);
}
}


Bureaucrate, commentadmin, emailconfirmed, Administrateurs d’interface, staff, Administrateur
62 734

modifications