Oh, forgot that this feature doesn’t actually exist anymore in the theme! (which I think is a good idea by the way!) – my client just really wanted it back, and so I added it manually. Anyway, I hope this scaling method might be useful to other layout types such as the left-aligned menu, which I believe still resizes on scroll(?)… :-)