Update index files

Better sizes for numbers and boxes.
Completed widget side re-implementation

Backside widgets are now also using widgets and backsides.
Updated some test files
Fixed more bugs in change to widget sides
Improved styling of widgets dropped by robots

Size was sometimes very large. Dimensions now saved and restored when
manipulated by watched robots.