1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
|
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
|
+
+
+
+
+
+
+
+
+
+
-
+
-
+
+
-
-
+
+
|
font-family: monospace;
}
div.content div.markdown > ol.footnotes {
font-size: 90%;
}
div.content div.markdown > ol.footnotes > li {
margin-bottom: 0.5em;
}
div.markdown ol.footnotes > li.unreferenced-footnote,
div.markdown ol.footnotes > li.misreferences {
background: #ffdddd;
}
div.markdown ol.footnotes > li.unreferenced-footnote:first-child,
div.markdown ol.footnotes > li.misreferences {
margin-top: 0.75em;
padding-top: 0.25em;
padding-bottom: 0.25em;
}
div.content div.markdown > ol.footnotes > li > .footnote-backrefs {
margin-right: 0.5em;
font-weight: bold;
}
div.markdown > ol.footnotes > li > .footnote-backrefs > a:target {
background: gold;
}
div.markdown sup > a.noteref:target {
div.markdown sup.noteref > a:target {
background: gold;
}
div.markdown sup.misref {
div.markdown sup.noteref.misref,
div.markdown sup.noteref.misref > a {
color: red;
font-size: 90%;
}
div.markdown span.notescope:hover,
div.markdown span.notescope:target {
border-bottom: 2px solid gold;
}
div.markdown span.notescope:hover > sup > a.noteref,
div.markdown span.notescope:target > sup > a.noteref {
div.markdown span.notescope:hover > sup.noteref > a,
div.markdown span.notescope:target > sup.noteref > a {
background: gold;
}
/* Objects in the "desktoponly" class are invisible on mobile */
@media screen and (max-width: 600px) {
.desktoponly {
display: none;
|