/* http://www.jimpryor.net/teaching/courses/styles.css */

/* logic/455 side-comments, div only */
.box {
    margin-left: 60px;
    margin-right: 24px;
    border: 2px solid;
    padding: 12px;
    padding-top: 0px;
}

/* replaces <big> */
.big {
    /* [spanned text]{.big} */
    font-size: 20pt;
}

.small {
    font-size: small;
}

blockquote, q, .quote {
    /* font-family: Merriweather, Courier; */
    font-family: Consolas;
    font-size: 85%;
}

/* colors *******/

div.gray ul li, div.gray ul li a:link, div.gray ul li a:visited {
    color: gray;
}

.warn {
    color: red;
}

.purple {
    color: purple;
}

DIV.indent, P.indent {
    margin-left:2.5em;
    margin-right:2em;
}

/* used in intro side-comments, both div and (span) */
.note {
    background-color: lightblue;
    font-size: small;
}

span.note::before {
    content: " (";
}

span.note::after {
    content: ") ";
}

/* invisible but still copied */
span.whisper {
    visibility: hidden;
    opacity: 0;
}

/* used in logic/455's homeworks */
.answer {
    color: purple;
}

div.answer::before {
    content: "Answer:\0a";
}

span.answer::before {
    content: "Answer: ";
}

/* verbatim *****/

code {
    color: #FF00FF !important;
}

.code {
    color: #FF00FF !important;
    font-family: monospace;
    font-size: 13px; /* or 85% */
    white-space: pre-wrap;
    margin: 0;
    /* overflow: visible; */
    /* overflow-wrap: normal; */
}

/* .barestring for `formula™`, .innerstring for `Γ, φ ⊨ ψ` and `⟦φ ∨ ψ⟧~ℳ~¡` */

/*
.barestring::before {
    content: "⌜";
}

.barestring::after {
    content: "⌝";
}
*/

.barestring, .innerstring {
    color: #138D75 !important;
    /*
    background-color: white;
    filter: invert(100%);
    */
}



.pre {
    margin: 12px 0;
    /* overflow: auto; */
    white-space: pre-wrap;
}

div.code p {
    margin: 0 0;
}

div.pre p, div.pre ul, div.pre ol {
    margin: -4px 0;
}

.pre.code {
}

pre, .pre {
    /* make indentation like blockquote */
    margin: 12px 0 12px 40px;
}

code, .code {
    /* don't wrap */
    white-space: pre;
}

/****************/

div#footer p {
    color: gray;
    font-size: 11px;
    margin: 0;
}

div#footer p.date::before {
    content: "Modified: ";
}