.top {
    background:#cce9e2;
    border: 1px solid black;
    padding: 1px;
}
.top:before {
        content: "⊤";
}

.bot {
    background:#fed4d6;
    border: 1px solid black;
    padding: 1px;
}
.bot:before {
        content: "⊥";
}


.rowf {
    display: flex;
    flex-wrap: wrap;
    justify-content: space-evenly;
    align-items: center;

}

.minislide h3 {
    text-align: center;
}

.minislide {
    width: 400px;
    padding: 1ch;
    border: 1px solid black;
    margin: 1ch;
}

table.simple, table.simple tr, table.simple td {
    border: none;
}

.spoton {
    color: var(--highlight-textcolor);
    background: var(--highlight-bgcolor);
}

hr {
    border: 1px solid black;
    width: 80%;
    margin: 1ch;
}
/* .fragment  polygon, .dot-highlight path { */
/*     fill:red !important; */
/*     stroke:red !important; */
/* } */