h1 { text-align: center; color: brown; }
h2, h3 { color: indianred; }
h3 { color: darkred; }

body
{
    color: black; 
    background-color: white;
    font-family: times, Times New Roman, times-roman, georgia, serif;
    font-size: 18px;
    line-height: 19px;
    max-width: 60em;
}


pre,
.literal {     
    font-family:monospace; 
    /* Produces approximately the same width as 18px with non-monospace,
       at least to my eyes. */
    font-size: 14px;
    line-height: 19px;
    /* background-color: lavender;  */
}

div.source-code {
    /* See http://loadaveragezero.com/vnav/labs/CSS/code.php */
    font-family: monospace;
    white-space: pre;
    min-width:  60em;
    font-size: 14px;
    line-height: 1.4em;
    margin: 1em 0;
    border: 1px dashed #aaa8a8;
    padding: 0.5em 0 0.3em 0.5em;
    overflow: auto;
}

pre.termio{
    /*Terminal interaction */
    width: 60em;
    white-space: pre-wrap;
    overflow: auto;
    border: 1px dashed #aaa8a8;
}

/* Lists need to not be so jumbled */
li 
{    
    padding-top: 5px;
}

.red {
    color: red;
}

/* ol.red li { */
/*     color: black; */
/* } */

.note
{
    /* See http://woork.blogspot.com/2008/03/css-message-box-collection.html */
    border:solid 2px #DEDEDE;
    background:#EFEFEF;
    color:#222222;
    padding:4px;
    margin-left: auto;
    margin-right: auto;
    text-align:center;
    width: 50%;
}

.incorrect
{
    text-decoration: line-through;
}