I have been informed that CSS doesn't support //-comments

diff --git a/theme/static/css/main.css b/theme/static/css/main.css
index b99ca25..1d9fedd 100644 (file)
--- 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;
-}