/* 2021_and_2022/style.css */

/*
 * General
 */

hr {
    margin: 100px 0;
    color: var(--col-so-off);
    border-top: 1px solid var(--col-so-off);
    border-bottom: none;
}