+
+.comments-link-container {
+ font-weight: bold;
+ font-size: 85%;
+}
+
+/* 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 */
+.toc {
+ clear: right;
+ max-width: calc(50% - 1.5em);
+ font-size: 0.85em;
+ margin-left: 1.5em;
+ padding: 0.5em;
+ border: 2px dotted #d6d6d6;
+}
+.toc ul {
+ list-style-type: none;
+ padding-left: 1.5em;
+ margin: 0;
+ line-height: 1.2;
+}
+.toc li {
+ text-indent: -1.5em;
+ margin-bottom: 0.25em;
+ padding-left: 1.5em;
+ position: relative;
+}
+.toc li::before {
+ content: counter(list-item);
+ position: absolute;
+ width: 1em;
+ text-indent: 0;
+ right: calc(100% + 0.5em);
+ text-align: right;
+ color: #bbb;
+}
+.toc a {
+ border: none;
+}