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(?)… :-)
Deprecated: Function get_currentuserinfo is deprecated since version 4.5.0! Use wp_get_current_user() instead. in /var/www/html/wp-includes/functions.php on line 5383