Style rework #35

Merged
Anri merged 70 commits from rework into main 2023-10-15 20:58:23 +02:00
Showing only changes of commit 808bca2c6d - Show all commits

View file

@ -88,10 +88,19 @@ a.anchor::before {
a.anchor {
text-decoration: none;
font-size: calc(var(--font-size) * 1.3);
vertical-align: baseline;
}
/* Links in headers */
h1 a,
h2 a,
h3 a,
h4 a,
h5 a,
h6 a {
font-size: inherit;
}
/* Separators */
hr {
border: 0;