diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 17:26:14 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 17:26:14 -0400 |
| commit | d2a41c0da6b568d203563d278a61f9e85ef1a8b8 (patch) | |
| tree | c4a976d5082ef0243b0e09c0a40f517cd4ce0502 /docs/style.css | |
| parent | eada33d25b959649e632f4a25635505adcbe222e (diff) | |
Process/highlight fromDyalog.md
Diffstat (limited to 'docs/style.css')
| -rw-r--r-- | docs/style.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css index 36637c57..258f528d 100644 --- a/docs/style.css +++ b/docs/style.css @@ -12,6 +12,7 @@ h1,h2,h3 { table { border-spacing: 0; border-collapse: collapse; + margin: 0.4em; } table td, th { padding: 0.4em 0.9em; |