tabs get stretched when next to floated div

tabs get stretched when next to floated div

Is the stretch of the tabs when you have a floated div to left of tab div a bug ?

I have modified the default.html demo for tabs to illustrate this - see link below:-

    • Topic Participants

    • dave