#hyperhyperSwitch {
    border-radius: .25rem;
    border: solid 1px var(--main-color);
}
#hyperhyperSwitch.active {
    color: white !important;
    background-color: var(--main-color);
}

#explanationView p.statement {
    display: block;
    margin-bottom: 0.25rem;
    padding-left: 0px;
}
#explanationView p.statement:last-child {
    margin-bottom: 0;
}
#explanationView p.statement::before {
    content: "•";
    margin-right: 5px;
}
#explanationView p.statement.top::before {
    content: "";
    margin-right: 0px;
}
#explanationView p.statement span.name {
    font-weight: bold;
    padding: 10px 3px;
    cursor: default;
}
#explanationView p.statement span.timestep,
#explanationView p.statement span.trace {
    padding: 5px 2px;
    cursor: default;
}
#explanationView p.statement span.name.hover,
#explanationView p.statement span.timestep.hover {
    background: var(--gray-light);
}
#explanationView p.statement span.variable {
    font-family: monospace;
}
#explanationView p.statement span.variable i {
    margin-right: 0.5ex;
    font-size: 70%;
}
#explanationView p.statement span.name.top {
    color: var(--main-color);
}
#explanationView p.statement span.generics {
    font-style: italic;
    font-weight: bold;
}
#explanationView p.statement span.name.expl-0 {
    color: var(--expl-0);
}
#explanationView p.statement span.name.expl-1 {
    color: var(--expl-1);
}
#explanationView p.statement span.name.expl-2 {
    color: var(--expl-2);
}
#explanationView p.statement span.name.expl-3 {
    color: var(--expl-3);
}
#explanationView p.statement span.name.expl-4 {
    color: var(--expl-4);
}
#explanationView p.statement span.trace-0 {
    color: var(--trace-0);
}
#explanationView p.statement span.trace-1 {
    color: var(--trace-1);
}