Mercurial > p > roundup > code
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 8050:093d2e0761d4 | 8051:878cec551d86 |
|---|---|
| 187 because of privacy abusing people I can't change that | 187 because of privacy abusing people I can't change that |
| 188 value. So settle for darkgrey underline. | 188 value. So settle for darkgrey underline. |
| 189 */ | 189 */ |
| 190 text-decoration-color: darkgrey; | 190 text-decoration-color: darkgrey; |
| 191 } | 191 } |
| 192 | |
| 193 :is(h1,h2,h3,h4) > :link:hover { text-underline-offset: -0.1em; } | |
| 192 | 194 |
| 193 a.toc-backref { color: #000000; } | 195 a.toc-backref { color: #000000; } |
| 194 | 196 |
| 195 .header h1 { margin-left: 1em; } | 197 .header h1 { margin-left: 1em; } |
| 196 | 198 |
| 478 padding-inline: 0.5em; | 480 padding-inline: 0.5em; |
| 479 } | 481 } |
| 480 | 482 |
| 481 table.valign-top tbody td { vertical-align: top; } | 483 table.valign-top tbody td { vertical-align: top; } |
| 482 | 484 |
| 485 .footnote-list { | |
| 486 border: lightgrey dotted 2px; | |
| 487 font-size: smaller; | |
| 488 margin-inline: 2em; | |
| 489 padding-inline: 1em; | |
| 490 } | |
| 491 | |
| 483 /* consider highlighting header element that is a target */ | 492 /* consider highlighting header element that is a target */ |
| 484 /* | 493 /* |
| 485 :target > :is(h1,h2,h3,h4,h5,h6) { | 494 :target > :is(h1,h2,h3,h4,h5,h6) { |
| 486 background: rgb(254, 227, 227); | 495 background: rgb(254, 227, 227); |
| 487 outline: rgb(254, 227, 227) solid 3px; | 496 outline: rgb(254, 227, 227) solid 3px; |
