div ul {
    padding-left: 2em;
    padding-bottom: 0px;
}

div ul:not(.bullets) li {
    margin-bottom: 0.5em;
    list-style: none;
}

div ul.bullets {
    margin-top: 2em;
}

div ul.bullets > li {
    margin-bottom: 2em;
}

ul.plain > li {
    list-style: none;
}

div {
    margin-left: 2em;
}

h1 {
    font-size: 140%;
    font-weight: bold;
    color: darkgreen;
    margin-top: 1em;
    margin-bottom: 0.5em;
}

h2 {
    font-size: 120%;
    font-weight: bold;
    margin-top: 2em;
    color: darkgreen;
}

h3 {
    font-size: 100%;
    font-weight: bold;
    margin-top: 2em;
    color: darkgreen;
}

.important {
    color: red;
}

ol {
    margin-top: 1em;
    }

ol > li {
}

.title {
    font-size: 150%;
    font-weight: bold;
    color: black;
    margin-left: 0em;
    margin-bottom: 3em;
}

button.solution { 
    display: block;
    margin: 1em 0 1em 2em;
}

button.solution + div {
    padding: 0 1em 0 1em;
    margin-right: 4em;
    display: none;
    background: lightyellow;
    border: 2px solid darkorange;
}

p {
    margin-top: 1em;
}

img { 
    max-width: 1000px; 
    margin: 2em; 
}

img + p { 
    margin: -2em 0em 3em 2.5em; 
}

.MJXc-display { 
    text-align: left !important; 
    margin-left: 2em !important; 
}

table {
    padding-top: 1em;
    padding-left: 2em;
}

td {
    padding-left: 1em;
}

img {
    padding-left: 2em;
    padding-top: 1em;
    padding-bottom: 1em;
    }

.demoCode {
    padding: 5px;
    border: 1px solid;
    border-radius: 3px;
    background-color: lightyellow;
}

span.bookref {
    font-size: 70%;
    padding-left: 1em;
    color: darkred;
}
