Can't redefine CSS font

Hi,

So I’m trying to change some fonts like so:

I can see in my browser inspector that my CSS loads properly, but no font changes. I’ve found that when I inspect the CSS in the browser, it doesn’t seem to use the variable at all? It’s just listing all the default fonts.

I found a commit that changed the fonts to use CSS variables instead of the LESS variety, enabling font customization as above, but when I inspect the LESS source, it still uses the LESS variable as far as I can tell. I don’t know how LESS works exactly, so I don’t know what’s going on here.

I recently upgraded Gitea from 1.12.3 to 1.13.4. I’ve tried clearing my browser cache.