MediaWiki:Common.css: differenze tra le versioni

Versione delle 19:40, 19 ott 2018

Versione delle 22:35, 19 ott 2018

Riga 3:

* NOTA PER GLI ADMIN: Si prega di non modificare senza preventiva discussione!

*/

/* workaround temporaneo per https://phabricator.wikimedia.org/T207472, rimuovere appena il task sarà risolto.

Preso da https://en.wikipedia.org/w/index.php?title=MediaWiki:Gadget-WatchlistBase.css&diff=864822816&oldid=803487199 */

.mw-rcfilters-ui-highlights div {

width: 6px;

height: 6px;

box-sizing: border-box;

border-radius: 50%;

}

/***** [VE] */