h2	{ font-size: medium; }
time	{ font-size: small; float: right; }
pre	{ overflow-x: auto; }
blockquote { font-size: smaller; }
footer	{ font-size: smaller; text-align: center; }

@media (max-width: 62ch) {
main	{ padding-left: 20px; }
ul	{ padding-left: 0px; }
}

/* copied from https://wwwcip.cs.fau.de/~oj14ozun/style.css */
a::after {
    display: inline-block;
    color: white;
    font-size: x-small;
    margin-left: 4px;
    padding: 1px;
    font-family: system-ui;
    text-decoration: none;
    border: 1px solid rgba(255, 255, 255, 0.25);
    vertical-align: super;
}

a[href^="https://web.archive.org/"]::after {
    background: green;
    content: "WBM";
}
a[href^="https://archive.org/"]::after {
    background: teal;
    content: "IA";
}
a[href^="https://www.youtube.com/"]::after,
a[href^="https://youtube.com/"]::after,
a[href^="https://youtu.be/"]::after{
    background: red;		/* meant as a warning */
    content: "YT!";
}
a[href^="https://github.com/"]::after {
    background: purple;
    content: "GH!";
}
a[href^="https://en.wikipedia.org/"]::after,
a[href^="https://de.wikipedia.org/"]::after {
    background: gray;
    content: "WIKI";
}
a[href$=".pdf"]::after {
    background: navy;
    content: "PDF";
}
a[href^="https://arxiv.org/"]::after {
    background: maroon;
    content: "AR";
}

small a::after {
    content: unset !important;
    background: unset;
}