.highlight {
    background-color: #FCFAEE;
}

.admonition .icon {
    float: left;
    font-size: 200%;
    font-weight: bold;
}

.admonition .body {
    margin-left: 3em;
}

.admonition .body .title {
    font-weight: bold;
}

.formalobject-wrapper .figure {
    margin-top: 0;
}

.formalobject-wrapper .title {
    text-align: center;
    font-weight: bold;
}