diff doc/_static/style.css @ 8051:878cec551d86

docs: change css for footnotes and links in headers Set up footnotes to look different from running text by adding a light dotted border, inline margins and a smaller font size. The underline under a link located in a header (h1...h4) is too far down given the increase in font size. Snug it up to the text by adding a negative text-underline-offset.
author John Rouillard <rouilj@ieee.org>
date Tue, 02 Jul 2024 21:34:48 -0400
parents 9ed6f48c43c5
children 740c1c5d9ec4
line wrap: on
line diff
--- a/doc/_static/style.css	Mon Jul 01 20:16:45 2024 -0400
+++ b/doc/_static/style.css	Tue Jul 02 21:34:48 2024 -0400
@@ -190,6 +190,8 @@
     text-decoration-color: darkgrey;
 }
 
+:is(h1,h2,h3,h4) > :link:hover { text-underline-offset: -0.1em; }
+
 a.toc-backref { color: #000000; }
 
 .header h1 { margin-left: 1em; }
@@ -480,6 +482,13 @@
 
 table.valign-top tbody td { vertical-align: top; }
 
+.footnote-list {
+  border: lightgrey dotted 2px;
+  font-size: smaller;
+  margin-inline: 2em;
+  padding-inline: 1em;
+}
+
 /* consider highlighting header element that is a target */
 /*
 :target > :is(h1,h2,h3,h4,h5,h6) {

Roundup Issue Tracker: http://roundup-tracker.org/