+
+.footnote {
+ font-size: 85%;
+}
+
+.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;
+}