I investigated a bit and made some changes.
It is not possible (meaning, invalid CSS) to make more space
between columns by changing the margin. So, it has to be done
with padding. I think that is actually okay, but I do not have
a way to check every possibility.
I think that for most tables, the additional space is good.
An exception is this table from the sample article:
https://pretextbook.org/examples/sample-article/html/table-calisthenics.html#p-721
That is not a typical case, but if we want to allow it,
then we need a way to put a class on the table to say to
opt-out of the wider spacing.
If there are in-use examples which are harmed by this change,
I can revert and we will come up with a way to selectively
add more space.
I tried to add the minimal amount of extra space to make a difference.
If you think more additional space would be better, please say so.
Note: That ORCCA example is very old: it is on CSS 0.2.
Normally I do not change old CSS, but I did this time.
Note: the extra space is on tr.r0.l0 and th.r0.r0 . There
may be examples with
| a b |
with the a and b in different cells, and not enough space between
a and b. I'll need actual examples before messing with those.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/pretext-dev/CA%2BR-jrf5zTpRgKe-iWLs91FHaC4FegeyFV-QTd1HfXjNeeafGA%40mail.gmail.com.
>