Automatic website update

This commit is contained in:
Automatic website updater 2025-06-24 20:03:56 +01:00
parent 591487ae09
commit 5ae38d5d67

View file

@ -21,6 +21,7 @@
a.copiable-link {visibility: hidden; text-decoration: none; line-height: 0em}
a.summary-letter-printindex {text-decoration: none}
div.example {margin-left: 3.2em}
h1.settitle {text-align:center}
span:hover a.copiable-link {visibility: visible}
strong.def-name {font-family: monospace; font-weight: bold; font-size: larger}
td.printindex-index-entry {vertical-align: top}
@ -37,6 +38,8 @@ ul.toc-numbered-mark {list-style: none}
</head>
<body lang="en">
<h1 class="settitle">Guile Knots</h1>
<hr>