From 52b4531eb1824493f20873d11495e84e65ce408b Mon Sep 17 00:00:00 2001 From: "Zack M. Davis" Date: Sun, 24 Dec 2023 15:29:39 -0800 Subject: [PATCH] I have been informed that CSS doesn't support //-comments --- theme/static/css/main.css | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/theme/static/css/main.css b/theme/static/css/main.css index b99ca25..1d9fedd 100644 --- a/theme/static/css/main.css +++ b/theme/static/css/main.css @@ -378,22 +378,21 @@ p.flower-break { font-size: 85%; } -// XXX—why isn't this working?! -// https://stackoverflow.com/questions/15643614/double-underline-tag +/* XXX—why isn't this working?! https://stackoverflow.com/questions/15643614/double-underline-tag */ .extra-underline { text-decoration: underline; border-bottom: 3px double solid #000; } -// Thanks to Said Achmiz for table-of-contents styling +/* Thanks to Said Achmiz for table-of-contents styling */ .toc { clear: right; - max-width: calc(50% - 1.5em); + max-width: calc(50% - 1.5em); font-size: 0.85em; margin-left: 1.5em; padding: 0.5em; - border: 1px dotted #d6d6d6; + border: 2px dotted #d6d6d6; } .toc ul { list-style-type: none; @@ -419,9 +418,3 @@ p.flower-break { .toc a { border: none; } -.heading { - line-height: 1.1; -} -.heading a { - border: none; -} -- 2.17.1