This checks the types of some HTML DOM attributes whose types currently clash with our implementation.
PASS typeof img.border is 'string'
PASS typeof pre.width is 'number'
PASS typeof basefont.size is 'number'

