- Resized the next/prev cards and buttons
- Resized the “Remove” and “All Tips” buttons in the nav
- Added hover feedback on next/prev and nav items

In addtion to changing the UI color for “mini cards” from motion blue to extensions aqua, this commit also updates the color variable previously known as ‘$pen-primary’ to ‘$extensions-primary’.

This is not yet implemented in the VM, but will be needed when it is.

Allow specifying variables as local vs. global. Pass var names from VM to scratch-blocks for checking for conflicts in all sprites when attempting to create a global var.

Fixes #2448 (tab wrapping in Japanese). Also ensures that none of the Sprite info area wraps. Does not address the issue where the sprite info area is too big and pushes the stage info off the screen.

that I accidentally removed