(v3.1.5.1) If table border has been set to 0pt, subsequently increasing it back to >= 1pt has no effect unless the border colour is also (?first) re-applied, even though there seems to be a border colour.
(v3.1.5.1) If table border has been set to 0pt, subsequently increasing it back to >= 1pt has no effect unless the border colour is also (?first) re-applied, even though there seems to be a border colour.