/* Making list items labeled by letters rather than numbers. */
.exercise.admonition ol {
    list-style-type: lower-alpha;
}
.example ol {
    list-style-type: lower-alpha;
}