diff options
| -rw-r--r-- | Doc/html/style.css | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index 9e95677..a71541a 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -129,10 +129,6 @@ div.note .label { margin-right: 0.5em; border-color: black; border-style: solid; border-width: 0px 0px 2px 0px; - /* This "empty-cells" property should allow us to - avoid having anything for empty cells, - but many browsers don't implement this at - all. */ empty-cells: show; margin-left: auto; margin-right: auto; |