Checkbox font-size

UI Builder
1

How can I change the font size of a checkbox label?
My experiements with theme extensions were not successful.
For the future, maybe you could introduce a variable @checkboxLabelFontSize ?

Thanks

2

Found it!

.bl-checkbox-label {
  font-size: 10px;
}