html{font-size:12px!important}nav,aside,header{display:none!important}p.pagedjs_hyphen{margin-right:-1mm}div.book-page{padding:0!important}div.footnotes{font-size:.9rem;width:100%}div.footnotes pagedjs_margin-left-top{height:0}div.footnotes ol{padding:0;margin:0;list-style-position:inside}div.footnotes ol li{position:absolute;width:calc(55mm - 15px);margin:0}div.footnotes ol li p{margin-top:-1.25rem;padding-left:1.5em}div.footnotes hr{display:none}.book-columns pre{overflow:hidden}.pagedjs_blank_page .pagedjs_margin-content,.page-titlepage .pagedjs_margin-content,.chapter-head .pagedjs_margin-top-center{display:none}.pagedjs_margin{font-size:.9rem;font-weight:300}@media print{@page{size:A4;margin-top:30mm;margin-bottom:30mm;margin-left:15mm;margin-right:15mm}@page:left{@bottom-left{content: counter(page); }@top-center{content: string(title);
      text-transform: uppercase;
      font-size: 9px; }}@page:right{@bottom-right{content: counter(page); }@top-center{content: string(subtitle);
      text-transform: uppercase;
      font-size: 9px; }}article.markdown{line-height:1.4;display:grid;grid-template-columns:1rem 1fr 1rem}article.markdown .chapter-number{break-before:right}article.markdown>*{grid-column:2}article.markdown>.paged-footnotes{grid-row:1}.pagedjs_right_page article.markdown{grid-template-columns:1rem 1fr 55mm}.pagedjs_right_page article.markdown>.paged-footnotes{grid-column:3;padding-left:15px}.pagedjs_right_page article.markdown>.enlarge-quarter,.pagedjs_right_page article.markdown>.enlarge-half{margin-right:calc(55mm/2)}.pagedjs_left_page article.markdown{grid-template-columns:55mm 1fr 1rem}.pagedjs_left_page article.markdown>.paged-footnotes{grid-column:1;padding-right:15px}.pagedjs_left_page article.markdown>.enlarge-quarter,.pagedjs_left_page article.markdown>.enlarge-half{margin-left:calc(55mm/2)}article.markdown>.enlarge-full,article.markdown>.enlarge-half,article.markdown>.enlarge-quarter{grid-column:1/4}h2 .section-name{string-set:subtitle content(text)}.chapter-number{margin-bottom:0;margin-top:4em!important;font-size:2em}h1.chapter{margin-bottom:2em;string-set:title content(text);grid-column:2/4!important;font-size:3em}}div.proposition-header,div.definition-header,h2,h3,h4{break-after:avoid}h1.references{break-before:page}.break-after{break-after:page}.toc{break-before:right}#sec\:need-help,#sec\:simplifying-assumptions,#an-example-minir-program,#compatible-events,#sec\:anchors{break-before:page}.markdown figure.figure-bg,.definition-block,.proposition-block{box-shadow:none!important}