anchors in vertical tabs don't fill up the space

[v1nce]

On page ​http://jqueryui.com/tabs/#vertical the anchors don't fill up all the area of the tabs so the tabs look ineffective if you don't click right on the anchors

IMHO .ui-tabs-vertical .ui-tabs-nav li a lacks the following properties

box-sizing: border-box; width:100%;

I don't know if this is just local to the page or if this is supposed to be commited to the css.