PLFA agda exercises
.list-of-contributors ul {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    width: calc(100% - 2rem);
}
.list-of-contributors ul li {
    margin-right: 2rem;
}