wikimedia/mediawiki-extensions-Wikibase

@function px-to-rem( $size-px ) {
    // 16px is the reference font size
    @return ( $size-px / 16px ) * 1rem;
}