Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
no edit summary
float:right;
float:right;
margin:3px;
margin:3px;
font-size: 88%;
font-size: 90%;
}
}
.sommario-v-header {
.sommario-v-header {
}
}
.sommario-v-title {
.sommario-v-title {
font-size:150%;
font-size:130%;
padding:5px;
padding:5px;
}
}