@import url(https://tgvaughan.github.io/sicm/css/fonts/fonts.css);a.summary-letter{text-decoration:none}div.display{margin-left:0em}div.example{margin-left:0em}div.indentedblock{margin-left:0em}div.lisp{margin-left:0em}div.smalldisplay{margin-left:0em}div.smallexample{margin-left:0em}div.smallindentedblock{margin-left:0em}div.smalllisp{margin-left:0em}kbd{font-style:oblique}pre.display{font-family:inherit}pre.format{font-family:inherit}pre.menu-comment{font-family:serif}pre.menu-preformatted{font-family:serif}span.nocodebreak{white-space:nowrap}span.nolinebreak{white-space:nowrap}span.roman{font-family:serif;font-weight:400}span.sansserif{font-family:sans-serif;font-weight:400}ul.no-bullet{list-style:none}html{font-family:"Linux Libertine O",serif;font-size:170%;color:#383838;line-height:130%;-moz-font-feature-settings:"liga" 1,"ss06";-ms-font-feature-settings:"liga" 1,"ss06";-webkit-font-feature-settings:"liga","ss06";-o-font-feature-settings:"liga","ss06";font-feature-settings:"liga","ss06"}@media (min-width:481px) and (max-width:720px){html{font-size:140%}blockquote{margin-left:1em;margin-right:1em}ul.no-bullet{padding-left:1em}}@media (max-width:480px){html{font-size:120%}blockquote{margin-left:.5em;margin-right:.5em}ul.no-bullet{padding-left:.6em}}p.quote-citation::before{content:"—"}body{background-color:#f8f8f8;margin:0;position:relative}body>section{margin:1em auto;width:67ex;max-width:88%}h1,h2,h3,h4,h5{font-family:"Linux Biolinum O",sans-serif;margin-top:1.6em;margin-bottom:1rem;line-height:125%}h1,h2.chapter{margin-top:4em;margin-bottom:2em}h2.unnumbered{margin-top:2.5em}h3.section{margin-top:2em}strong{font-family:"Linux Biolinum O",sans-serif}h1{font-size:1.88rem}h1.titlefont{margin-top:5em;margin-bottom:1em;line-height:120%}h1.node-heading,h1.node-heading+table.menu,a[name="Top"]+nav.header{display:none}h2{font-size:1.57rem;line-height:110%}h3{font-size:1.31rem}h4{font-size:1.1rem}h4 code{font-size:.88rem}h5{font-size:1rem}h5 code{font-size:.82rem}.chapnum{display:inline-block;font-weight:400;font-size:6.7em;color:#aeaece;height:1ex;margin-top:.3ex;margin-bottom:.5ex}.chaptitle{display:inline-block;width:78%;margin-left:1ex}@media (max-width:960px){.chaptitle{width:64%;margin-left:.5em}}.secnum{display:inline-block;color:#9090c0;margin-right:.8em;vertical-align:top}.sectitle{display:inline-block;max-width:85%;vertical-align:top}@media (max-width:480px){.sectitle{max-width:100%}h1,h2,h3,h4,h5{line-height:110%}}pre,code,tt,samp{font-family:"Inconsolata LGC","DejaVu Sans Mono",monospace;font-size:.8rem}pre,pre code,pre var{font-size:.77rem;line-height:150%}.lisp .MathJax{color:#606060}.roman .MathJax{color:#a07040}p,table.menu,div.lisp{margin-top:1em;margin-bottom:1em}p,ol,ul{-ms-hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;hyphens:auto}nav p,a#References~p,h1~p,.shortcontents ul,.contents ul{-ms-hyphens:none;-webkit-hyphens:none;-moz-hyphens:none;hyphens:none}a#UTF~p>i:last-child{display:block;margin-top:.8em;margin-bottom:1.6em}a[href]{color:#804040;text-decoration:none}a[href]>sup{font-size:78%;vertical-align:top;position:relative;top:-.4ex;margin:-2ex;padding:2ex}a[href]:-webkit-any-link>sup{top:-1ex}nav.header p{font-family:"Linux Biolinum O",sans-serif;font-size:.9rem;padding:.5em;margin:0;background-color:#f0f0f0}nav.header a[href]{margin:-1.5ex;padding:1.5ex}nav.header:last-of-type{margin-top:2em}span.roman{font-family:"Linux Libertine O",serif;font-size:.96rem}figure{width:100%;margin-top:2em;margin-bottom:1.2em;text-align:center;margin-left:0;margin-right:0}figure.highlight{text-align:left;margin-top:1.2em;margin-bottom:1.2em}div.result>figure.highlight{font-style:italic;margin-top:0em;background:#f0f0f0}div.result{padding-left:.5em;margin-top:-1em;border-left:5px solid gray;background:#f0f0f0}div.result-math{padding-left:.5em;margin-top:-1em;border:1px solid gray;background:#f0f0f0}figcaption{display:table;margin-left:auto;margin-right:auto;padding-left:1.5em;padding-right:1.5em;min-width:10em;margin-top:1em}figcaption p{text-align:left;margin:0}#footnote_popup{background-color:#fff;padding:0 3ex;width:100%;-webkit-box-shadow:4px 4px 22px rgba(0,0,0,.5);box-shadow:4px 4px 22px rgba(0,0,0,.5);z-index:12}@media (min-width:481px) and (max-width:960px){#footnote_popup{padding-left:3.6ex}}@media (max-width:480px){#footnote_popup{padding-left:4ex}}#footnote_popup a.footnote_backlink{display:none}td>a[href*="#Exercise-"],td>a[href*="#Figure-"]{margin-left:1ex;margin-right:1ex}section>hr:nth-last-child(2){margin-top:2em}div.subtitle{margin-bottom:1em;text-align:left}div.subtitle>abbr{font-size:1.2rem;letter-spacing:.07rem;word-spacing:.07rem}table.menu td{width:auto;vertical-align:top}h2~p:first-of-type:first-line,abbr{font-family:"Linux Libertine O",serif;letter-spacing:.04em;-moz-font-feature-settings:"onum","c2sc","smcp";-ms-font-feature-settings:"onum","c2sc","smcp";-webkit-font-feature-settings:"onum","c2sc","smcp";-o-font-feature-settings:"onum","c2sc","smcp";font-feature-settings:"onum","c2sc","smcp"}h2~p:first-of-type:first-letter{float:left;margin-top:.33rem;margin-right:.04em;margin-bottom:-.15em;margin-left:-.15ex;padding-left:0;line-height:.83em;font-family:"Linux Libertine O",serif;text-transform:uppercase;font-weight:400;font-size:3rem;color:#9090c0}h2+blockquote{margin-top:3em;margin-bottom:3em}h2.unnumbered+blockquote{margin-top:2em;margin-bottom:2em}a.cover{position:relative;z-index:1}a.cover figure{margin-top:1em;margin-bottom:1em;-webkit-box-shadow:2px 3px 20px rgba(0,0,0,.5);box-shadow:2px 3px 20px rgba(0,0,0,.5);display:inline-block}a.cover object{position:relative;z-index:-1;width:100%;height:auto;background-color:#fbfbfb}var{padding-right:.16ex}mtext{font-family:STIXGeneral}pre math{font-size:.94rem}code math{font-size:1rem}math{white-space:normal}math[display="block"]{margin:1em 0}mtd{padding-right:.5em;padding-left:.5em;padding-bottom:0ex;padding-top:0ex}mtable[columnalign="right center left"] mtd{padding-right:.1em;padding-left:.1em}mtr:first-child>mtd{padding-top:0ex}mtr:last-child>mtd{padding-bottom:0ex}mtd:first-child{padding-left:.2em}mtd:last-child{padding-right:.2em}mtext,mi[mathvariant="normal"],mi[_moz-math-font-style="normal"]{font-size:98%}math *[mathvariant="monospace"]{font-size:.8rem;font-family:"Inconsolata LGC",monospace}.faulty{color:red;background-color:yellow}a#References~p{-moz-font-feature-settings:"onum","ss06";-ms-font-feature-settings:"onum","ss06";-webkit-font-feature-settings:"onum" 1,"ss06" 1;-o-font-feature-settings:"onum","ss06";font-feature-settings:"onum","ss06"}@media (max-width:960px){html{line-height:126%}pre,pre code,pre var{line-height:140%}h2~p:first-of-type:first-letter{font-size:2.9em}}.jump{font-family:"DejaVu-Arrows";font-size:2rem;font-weight:700;position:fixed;right:0;text-align:center}.jump a[href]{color:rgba(220,220,220,.5);margin:-1.5ex;padding:1.5ex}.top{top:0;padding:.7ex 0ex}.bottom{bottom:0;padding:.4ex 0ex}div.dedication>p{text-align:center}