113
contributi
Modifiche
Jump to navigation
Jump to search
m
Ammetto che i colori potrebbe non essere proprio i migliori possibili, ma se c'è una cosa che non so fare è scegliere i colori
background: #101010;
border: 1px dashed #85bb6f;
color: #85bb6f;
}
pre * {
.mw-rcfilters-ui-filterTagMultiselectWidget-views-select-widget.oo-ui-widget {
background: #fff;
}
/**** Differenze tra le versioni ****/
.diff-addedline, .diff-deletedline, .diff-context {
background-color: #161619;
color: #fff;
}
.diff-deletedline {
border-color: #A69567;
}
.diff-deletedline .diffchange {
background: #A69567;
}
.diff-addedline {
border-color: #6A89A6;
}
.diff-addedline .diffchange {
background: #6A89A6;
}
