body {
    font-family: Libertinus Serif, serif;
    max-width: 600px;
    margin: 40px auto;
    padding: 20px;
    line-height: 1.5;
    background: white;
    color: black;
    position: relative;
}
h1 {
    font-size: 2em;
    margin-bottom: 0.5em;
}
h2 {
    font-size: 1.2em;
    margin-top: 2em;
    margin-bottom: 0.5em;
}
p {
    margin-bottom: 1em;
}
.event-details {
    margin-bottom: 0.3em;
}
a {
    color: blue;
    text-decoration: underline;
}
a:visited {
    color: purple;
}
ul {
    margin-left: 20px;
}
li {
    margin-bottom: 0.5em;
}
.qed-box {
    float: right;
    font-size: 1.2em;
    margin-left: 10px;
    line-height: 1;
}
.proof-end {
    text-align: right;
    clear: both;
    margin-top: 1em;
}