border style hidden should hide the border

[hrj]

border-style: hidden is same as border-style:none. There is only one difference: the former has highest priority when considering a table cell.

[hrj]

Closed in bb731a5