.filename {
    font-family: courier, monospace;
}

.command {
    font-weight: bold;
}

.guilabel {text-decoration: underline;font-style:italic; }

.prompt {
    font-weight: bold;
    text-decoration: underline;
    color: green;

    /* Allow copying commands without selecting the prompt. */
    -webkit-user-select: none;
    user-select: none;
}

p .userinput { background-color: #F0F0F0;}
table .userinput {
    background-color: transparent;
}
table.informaltable {
    margin-left: 5em;
    margin-right: 5em;
    width: calc(100% - 10em);
}

.note {
    border: solid;
    border-width: 0.15em;
    border-color: #EE4040;
    border-radius: 1.5em;

    background-color: #FFEAEA;

    margin-left: 3em;
    margin-right: 3em;
    width: calc(100% - 8em);
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom:1em;
}

code { margin: 0; padding: 0;}

pre {
    white-space: pre-wrap;
    overflow-wrap: break-word;
}

pre.programlisting {
    border:solid;
    background-color: #D0E3FF;
    border-color:#BBB;
    border-width:0.1em;
    border-radius: 0.5em;

    margin: 0;
    margin-left: 0.5em;

    padding: 1em;
    width: calc(100% - 4em);
}

pre.screen {
    background-color: #F0F0F0;
    padding: 6px;
}

.computeroutput {
    background-color: #F0F0F0;
    font-family: courier, monospace;
}

.application {font-family: "Courier New", monospace; font-style: italic;}

.variablelist {
    padding: 6px;
}

.variablelist td { vertical-align:top; padding-top: 0.3em;padding-bottom:0.3em;}

table td { vertical-align:top; padding: 0.5em;}

/* Save some space */
table td p { padding: 0; margin: 0;}

/* Save space for term list */
table td .variablelist {padding: 0; margin: 0;}

table td .variablelist table {padding: 0; margin: 0;}

table td .variablelist table tr td {padding: 0; margin: 0;}

/* End term list stuff */

table {border-collapse: collapse;}
table.table > tbody > tr:nth-child(odd) > td { background-color: #E0E0E0; margin:0;  }
table.informaltable > tbody > tr:nth-child(odd) > td { background-color: #E0E0E0; margin:0;  }
.qandaset  tr:nth-child(4n+1) > td { background-color: #E0E0E0; margin:0;  }
.qandaset  tr:nth-child(4n+2) > td { background-color: #E0E0E0; margin:0;  }

.toc {
    background-color: #F0F0F0;
    padding: 6px;
}

.toc-title { font-weight: bold; }

.term { font-weight: bold;
    padding-right: 2em;
}

.equation { margin: 0.2em; padding: 0.2em; text-align: center; }

.vector { font-weight: bold; }

td > p { margin: 0; padding:0;}

p + p { margin-top: 0.8em; }

div.example {
    border: solid;
    border-width: 0.15em;
    border-radius: 1.5em;
    border-color: #4040CC;
    background-color: #E0F0FF;
    margin-left: 3em;
    margin-right: 3em;
    width: calc(100% - 8em);
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom:1em;
}

@media print {
    pre.screen, pre.programlisting { break-inside: avoid; }
}