yeah. that’s what it should be. these days, i’m not aware of a good use case for changing the font size (because it can mess with the layout on lots of different websites). it’s much better to just change the zoom if you need to increase the size of things, since site developers are much more likely to account for zooming and different screens sizes / resolutions than for variable font sizing.