Mismatched robot's title updated

To explain what is happening. Could be enhanced to provide more details
about the mismatch.
Improved element attribute inputs

They listen to 'input' events rather than 'change' so no need for
'mouseout' which trigger spurious events. Also avoid rounding (at least
for font-size) by JQuery.
Handle attempts to run untrained robots

No longer log an error. Just ignore.
Better number formatting

When the area is tall and narrow the font-size no longer becomes very
tiny.