@charset "ISO-8859-1";
/* Layout implementation for mathematical texts */
@import url("site.css");
.proven, .proof { margin-left: 2em; margin-right: 1em; } /* = .aside, for now */
.proven:before { content: "Proof: "; font-weight: bold; }
q.naming { font-weight: bold; }

/* Derivations: */
dl.derivation > dt { margin-left: 2em; text-indent: -1em; }
dl.derivation > dd { margin-left: 3em; text-indent: -1em; margin-top: 1ex; }
dl.derivation > dd p { margin-left: 0.5em; text-indent: 0em; }

/* Sums of terms (typically within a derivation's DD).
 *
 * Use DT for the lead-in line (commonly ending in the opening of the
 * parentheses that enclose the sum), DD for the terms in the sum; when
 * one (usually the first) has no operator, use class noop on it.
 */
dl.derivation dl.sum { margin-top: 0ex; margin-bottom: 0ex; }
dl.sum > dt { margin-left: 3em; text-indent: -3em; margin-bottom: 0ex; }
dl.sum > dt:first-child { text-indent: -4em; }
dl.sum > dd { margin-left: 3em; text-indent: -2.7em; margin-top: 0ex; margin-bottom: 0ex; }
dl.sum > dd.noop { text-indent: -1.7em; }
dl.sum dl.sum { margin-left: -1.7em; }
dl.sum dd.noop dl.sum { margin-left: -.7em; }
dl.sum dd.noop dl.sum dd.noop dl.sum { margin-left: .3em; }

/* Einstein-oid notation is the only place I use spaces in sub/sup: */
sub, sup { white-space: nowrap; }

/* Styles for denotational definitions: */
.template { font-style: italic; color: darkgreen; speak-punctuation: code; }
.literal { font-style: normal; font-weight: bold; color: black; speak-punctuation: code; }
.deprecate { color: gray; }