section.theorem {
    border: 1px solid #333;
    line-height: 1.2;
    margin: 0.5rem 0;
    padding: 0.5rem;
    width: fit-content;
}
section.theorem > h3 {
    display: inline-block;
    margin: 0;
    padding: 0;
    font-weight: bold;
    font-size: 1rem;
    color: inherit;
}

table#results {
    width: 100%
}

table#results,
table#results td,
table#results th {
    border: 1px solid black;
    border-collapse: collapse;
    text-align: center;
}
table#results .y {
    background-color: #6f6;
}
table#results .n {
    background-color: #f66;
}
li.star {
    list-style: none;
}
li.star::before {
    content: "\2605";
    display: block;
    position: relative;
    max-width: 0;
    max-height: 0;
    left: -20px;
    top: 0;
    color: gold;
    font-size: 15px;
}

#example table {
    margin-right: 10px;
}
#example td {
    font-family: Courier, fixed;
}
td.ctr {
    text-align: center
}