#example {
    text-align: center;
    margin-top: 1em;
}

code {
    text-align: left;
    display: inline-block;
    margin-right: 1em;
    /* vertical-align: middle; */
    font-size: 10pt;
}

#example-img {
    display: inline-block;
    /* vertical-align: middle; */
    width: 35ch;
}

a:has(#example-img) {
    display:inline-block;
    vertical-align: middle;
}

#example-code {
    display:inline-block;
    vertical-align:middle;
}


table {
    max-width: 100%;
    margin-left: auto;
    margin-right: auto;
}

img {
    padding: 1ch;
    border: 1px solid transparent;
    width: 20ch;
}

img:hover {
    padding: 1ch;
    border: 1px solid #9c9c9c;
    background-color: #f0f0f0;
    box-shadow: -2px 2px 5px #888888;
}

.list-item-text {
    margin-left: 1.5ch;
    text-indent: -1.5ch;
}

.list-item-title {
    font-size: 1.1em;
    font-weight: 600;
    margin: 0 1ch 0 0;  
}

.common-lisp-code {
    font-family: sans-serif;
}