Hardsuit fixes.

Fixes:
#7182
#7181
#7180
#7178
#7128
As this is new code, take the opportunity to use span-classes instead of \red?