I've hunted through Panel Settings and System Settings but can't find the
option to set the size of the panel. Has it actually disappeared or am I just
missing it?

Thanks,
Arn