[whatwg] Some <video> questions

[Charles]

Hello,

Apologies in advance if I've missed these details in the specification.

The <video> element supports width and height.  Does this include the additional area needed (if necessary) by the controls?  It strikes me that it shouldn't, since it would be odd for the video width and height to change when non-video "decorators" are shown/hidden.

I don't see a "standard" controls height and width, which is fine, but will there be read-only attributes for the width, height and position for controls?

-- Charles