search

jgm / djot

A light markup language
https://djot.net
MIT License
1.63k stars 43 forks source link

Fix border display of table header cells #177

Closed waldyrious closed 1 year ago

waldyrious commented 1 year ago

The stylesheet had a rule that was probably a typo, since it adds a border to the entire rows (<tr>), which is redundant with the border added to the cells (<td>); and it fails to add a border to <th> elements. So the following table:

| test | foo |
|------|-----|
| bar  | baz |

currently looks like this:

image

With this change, it will look like this:

image

Note that I also added some cell padding.

Btw, is there a reason why these styles live in the preview.html file instead of the styles.css file?

jgm commented 1 year ago

I'm switching over to the playground in jgm/djot.js which is why this one is showing up as a conflict. You could submit the PR over there. preview.html because the preview is in an iframe.

waldyrious commented 1 year ago

Closing in favor of https://github.com/jgm/djot.js/pull/1.