#content h1 {
    font-size: 1.8em;
}

#content h2 {
    border-bottom: 1.5px solid black;
}

#content h4 {
    padding-left: 1em;
}

#table-of-contents h2 {
    border-bottom-style: none;
}

details {
    padding-left: 2em;
}

.acl2-failed {
    color: red;
    font-weight: bold;
}

.acl2-qed {
    color: green;
    font-weight: bold;
}

.acl2-output {
    padding-left: 1em;
}

.acl2-output pre {
    color: black;
    background-color: #efefef;
}

.timestamp {
    color: green;
}

.publish-date-wrap {
    display: flex;
    justify-content: flex-end;
    width: 100%;
}

.publish-date {
    margin-right: 1.5em;
}

.tags-wrap::before {
    content: "tags:";
}

.tags-wrap {
    display: flex;
    justify-content: flex-end;
    width: 100%;
}

.tags {
    margin-right: 1.5em;
}

.tag {
    border-radius: 10px;
    padding: 5px;
}

.figure img {
    max-width: 100%;
}