Спасибо!
А вот мой финальный CSS для тех, кому интересно:
// Сделать бейджи, отображаемые на постах, крупнее и ярче
.topic-meta-data .user-badge-buttons .svg-icon {
transform: scale(1.3);
// это та часть, что делает их «ярче»
border-radius: 50%;
background-color: var(--highlight-bg);
border-width: 2px;
border-style: solid;
border-color: var(--highlight);
padding: 4px;
}
Результат:
