body{color:#333;-webkit-font-smoothing:antialiased;text-size-adjust:100%;margin:0;padding:20px;font-family:consolas,monaco,courier,courier new,fixed-width;font-size:14px;font-style:normal;font-weight:400;line-height:20px}@media (width>=992px){body{padding:35px 50px}}spoiler{color:#000;background-color:#000}spoiler::selection{color:#fff;background-color:#000}h2,h3,h4,h5{margin:45px 0 25px}h1{text-transform:uppercase}article h1,article .title,.center h1{letter-spacing:.01em;hyphens:auto;margin:.6em 0 .3em;line-height:1.28}img{max-width:100%}a{color:inherit;border-bottom:1px solid #555;text-decoration:none}a.image{text-align:center;border:0;border-radius:5px;margin:30px 0;display:block}mark{background:#fffc76;padding:0 5px}blockquote{background:#eee;border-left:5px solid #ccc;margin:40px 0;padding:5px 30px}.logo{text-align:center;margin:0 auto 35px;position:relative}.logo a{text-align:center;box-sizing:border-box;border-bottom:none;font-size:1.5em;font-weight:700;text-decoration:none;display:inline-block}.logo a:hover+.logo-prompt,.logo a:focus+.logo-prompt{display:inline-block!important}@media (width<=480px){.logo a:hover+.logo-prompt,.logo a:focus+.logo-prompt{display:none!important}}.logo img.logo{width:220px;max-width:100%;height:auto;display:inline-block}iframe{margin:45px 0!important}ul,ol{margin:40px 0;padding-left:50px}ul li,ol li{word-wrap:break-word}ul img,ol img{border-radius:5px;margin:40px 0}sup{vertical-align:top;margin-left:1px;position:relative;top:-.5em}time{color:#555}code,pre{font-family:Consolas,Courier,monospace}code{background:#ffff00c7;padding:2px 6px;font-size:13px}pre{white-space:pre;background-color:#f9f9f9;border:1px solid #ddd;margin-top:0;margin-bottom:1rem;padding:1rem;font-size:.8rem;line-height:1.4;display:block;overflow-x:auto}pre code{color:inherit;background-color:#0000;padding:0;font-size:100%}table{table-layout:fixed;width:100%;margin:45px 0}table thead{background:#f2f2f2}table th{text-align:left;border-bottom:15px solid #fff;padding:8px 10px}table td{padding:4px 0}iframe{width:100%}article{max-width:750px;margin:0 auto;position:relative}article .title{text-align:center;line-height:1.4em}article .block{margin-top:50px;position:relative}article .block .series-tab{writing-mode:vertical-rl;letter-spacing:.18em;text-transform:uppercase;color:#6b6b67;background:0 0;border:1px solid;padding:.7em .28em;font-family:Consolas,Courier,monospace;font-size:8px;line-height:1;display:none;position:absolute;top:0;left:-26px;transform:rotate(180deg)}@media (width>=880px){article .block .series-tab{display:block}}article .divider{background:#ddd;background:-webkit-gradient(linear, left top, right top, from(#fff0), color-stop(#ccc), to(#fff0));background:linear-gradient(90deg,#fff0,#ccc,#fff0);height:1px;margin:2em 0}article .center{text-align:center;margin:0 auto}article .author{color:#999;font-family:Consolas,Courier,monospace;font-size:11px}article hr{border:0;border-bottom:1px solid #000;margin:30px 0}article p{word-wrap:break-word;font-size:15px;line-height:1.9em}article .footnote{color:#fff;background-color:#000;border:0;padding-left:2px;padding-right:2px}article .footnotes{margin:50px auto;display:block}article .footnotes p{font-weight:400;line-height:1rem}article .footnotes ol{margin:0;padding-left:15px}article .footnotes ol li{font-weight:700}article .footnotes .reversefootnote{color:#0087be;border:0}article a:hover{color:#000;background-color:#fff}article .note-aside{background:#f5f5f2;border:1px solid #999;margin:2.5em 0;padding:1.1em 1.4em 1em}article .note-aside .note-aside-title{text-transform:uppercase;letter-spacing:.16em;color:#555;border-bottom:1px solid #ccc;margin-bottom:.8em;padding-bottom:.4em;font-family:Consolas,Courier,monospace;font-size:9px;font-weight:700;display:block}article .note-aside p{margin:0 0 .7em;font-size:14px;line-height:1.75em}article .note-aside p:last-child{margin-bottom:0}article.editorial .editorial-masthead{border-top:4px solid #000;margin-bottom:3rem}article.editorial .editorial-masthead .editorial-masthead-band{text-transform:uppercase;letter-spacing:.12em;border-bottom:1px solid #000;justify-content:space-between;align-items:baseline;padding:.45em 0;font-family:Consolas,Courier,monospace;font-size:11px;display:flex}article.editorial .editorial-masthead .editorial-masthead-band a{color:inherit;border:none;text-decoration:none}article.editorial .editorial-masthead .editorial-masthead-band a:hover{color:#555;background:0 0}article.editorial .editorial-masthead .editorial-type-label{color:#000;font-weight:700}article.editorial .editorial-masthead .editorial-title{letter-spacing:-.01em;hyphens:none;word-break:normal;overflow-wrap:normal;border-bottom:1px solid #000;margin:0;padding:.5em 0 .4em;font-size:clamp(1.6rem,3.5vw,2.6rem);line-height:1.08}article.editorial .editorial-masthead .editorial-standfirst{color:#000;border-bottom:1px solid #000;max-width:none;margin:0;padding:.7em 0;font-size:15px;font-style:italic;line-height:1.6}article.editorial .editorial-masthead .editorial-masthead-byline{color:#000;border-bottom:4px solid #000;font-weight:400}article.editorial .editorial-type-badge{color:#fff;text-transform:uppercase;letter-spacing:.06em;background:#000;margin:0;padding:1px 6px;font-family:Consolas,Courier,monospace;font-size:10px;display:inline-block}article.editorial .block{max-width:65ch}article.editorial .block p{text-indent:1.4em;margin:0;font-size:17px;line-height:1.78}article.editorial .block p:first-child,article.editorial .block h2+p,article.editorial .block h3+p,article.editorial .block hr+p,article.editorial .block blockquote+p{text-indent:0}article.editorial .block>p:first-child:first-letter{float:left;margin:.05em .1em 0 0;font-size:4.4em;font-weight:400;line-height:.82}article.editorial .block h2{text-transform:uppercase;letter-spacing:.16em;color:#000;border-top:4px double #000;border-bottom:1px solid #000;margin:3em 0 1.4em;padding:.5em 0;font-family:Consolas,Courier,monospace;font-size:11px;font-weight:700}article.editorial .block h3{text-transform:uppercase;letter-spacing:.08em;border-bottom:1px solid #000;margin:2.2em 0 .6em;padding-bottom:.3em;font-size:13px;font-weight:700}article.editorial .block blockquote{text-align:center;border-top:2px solid #000;border-bottom:2px solid #000;border-left:none;margin:2.5em 0;padding:.8em 0;font-size:17px;line-height:1.55}article.editorial .block blockquote p{font-size:inherit;text-indent:0;font-style:italic}article.editorial .block .footnotes{border-top:4px double #000;margin-top:3.5rem;padding-top:1rem}article.editorial .block .footnotes p{text-indent:0;font-size:13px;line-height:1.5}article.editorial .editorial-series-nav{border-top:4px double #000;margin:3.5rem 0 1rem;padding-top:1.2rem}article.editorial .editorial-series-nav .series-map{flex-wrap:wrap;gap:4px;margin-bottom:1.2rem;display:flex}article.editorial .editorial-series-nav .series-dot{color:#000;border:1px solid #000;justify-content:center;align-items:center;text-decoration:none;transition:background .1s,color .1s;display:flex}article.editorial .editorial-series-nav .series-dot--editorial{width:32px;height:32px;font-family:Consolas,Courier,monospace;font-size:12px;font-weight:700}article.editorial .editorial-series-nav .series-dot--scheda,article.editorial .editorial-series-nav .series-dot--approfondimento{align-self:center;width:24px;height:24px}article.editorial .editorial-series-nav .series-dot--scheda svg,article.editorial .editorial-series-nav .series-dot--approfondimento svg{width:12px;height:12px}article.editorial .editorial-series-nav .series-dot--current{color:#fff;background:#000}article.editorial .editorial-series-nav .series-dot--planned{color:#bbb;cursor:default;pointer-events:none;background:#f5f5f5;border-color:#ccc}article.editorial .editorial-series-nav .series-dot--planned svg{width:12px;height:12px}article.editorial .editorial-series-nav .series-dot:hover:not(.series-dot--current):not(.series-dot--planned){background:#f0f0f0}article.editorial .editorial-series-nav .series-pagination{border-top:1px solid #000;justify-content:space-between;gap:1rem;padding-top:.8rem;display:flex}article.editorial .editorial-series-nav .series-arrow{color:#000;border-bottom:1px solid #000;font-size:13px;text-decoration:none}article.editorial .editorial-series-nav .series-arrow:hover{color:#555;background:0 0;border-color:#555}article.editorial .editorial-series-nav .series-arrow--next{text-align:right}article.editorial .editorial-related{border-top:4px double #000;margin:3rem 0 1rem;padding-top:1rem}article.editorial .editorial-related h4{text-transform:uppercase;letter-spacing:.12em;color:#000;margin:0 0 .8em;font-family:Consolas,Courier,monospace;font-size:10px;font-weight:700}article.editorial .editorial-related ul{flex-direction:column;gap:.4em;margin:0;padding:0;list-style:none;display:flex}article.editorial .editorial-related li{align-items:baseline;gap:.5em;font-size:14px;display:flex}article.editorial .editorial-related li .editorial-type-badge{flex-shrink:0;font-size:9px}.wiki-link{border-bottom:1px solid;text-decoration:none}.wiki-link--unresolved{color:#aaa;cursor:default;border-bottom:1px dotted #aaa}.editorial .block p.wiki-ref{text-indent:0;color:#555;border-top:1px solid #ddd;border-bottom:1px solid #ddd;margin:1.8em 0;padding:.6em 0;font-family:Consolas,Courier,monospace;font-size:13px}.editorial .block p.wiki-ref .wiki-link{color:#000;font-size:inherit;border-bottom-color:#000}.editorial .block p.wiki-ref .wiki-link--unresolved{color:#aaa}.back{text-align:center}.back a{border:0;margin:40px auto 0;padding:10px;text-decoration:none;display:inline-block}.back a:before{content:"<<";color:#000;margin-right:5px}.block{display:block}.page-navigation,.footer{text-align:center;max-width:500px;margin:0 auto;font-size:.8rem}.page-navigation{margin:50px auto 0}.page-navigation a{border-bottom:none;text-decoration:none;display:inline-block}.page-navigation span{display:inline-block}.footer{color:#a0a0a0;margin-top:50px}.footer a{border:none;font-weight:700}.site-footer{text-align:left;border-top:1px solid #d4d4d0;max-width:750px;padding:2rem 0 1rem;font-size:.8rem;line-height:1.5}.site-footer .site-footer__identity{max-width:62ch;margin:0 0 1.5rem}.site-footer .site-footer__nav{grid-template-columns:repeat(3,1fr);gap:1.5rem;display:grid}.site-footer .site-footer__nav h2{letter-spacing:.12em;text-transform:uppercase;margin:0 0 .5rem;font-size:.72rem}.site-footer .site-footer__nav ul{margin:0;padding:0;list-style:none}.site-footer .site-footer__nav li{margin:.2rem 0}.site-footer .site-footer__nav a{border-bottom:0}.site-footer .site-footer__copyright{margin-top:1.75rem;display:block}@media (width<=640px){.site-footer .site-footer__nav{grid-template-columns:1fr 1fr}}@media (width<=420px){.site-footer .site-footer__nav{grid-template-columns:1fr}}section{max-width:750px;margin:0 auto 50px}section ul{margin:0;padding:0;list-style:none}section ul li{margin:25px 0}section ul li .title{max-width:100%;word-wrap:normal!important}section ul li a{color:#000;box-sizing:border-box;border:0;text-decoration:none}section ul li .post-date{float:right;margin:0 0 0 20px}section ul li span{color:#757575;letter-spacing:1px;text-transform:uppercase;display:inline-block}@media (width>=992px){section ul li a{border-bottom:2px solid #0000}section ul li a:hover{border-color:#000}}.series-run{position:relative}.series-run .series-run-label{display:none}@media (width>=880px){.series-run{border-left:1px solid #c4c0b6;margin-left:-12px;padding-left:12px}.series-run .series-run-label{writing-mode:vertical-rl;letter-spacing:.18em;text-transform:uppercase;color:#6b6b67;white-space:nowrap;font-family:Consolas,Courier,monospace;font-size:8px;display:block;position:absolute;top:50%;left:-26px;transform:translateY(-50%)rotate(180deg)}}article.paper{color:#1a1a1a;max-width:1100px;margin:0 auto;padding:0 .5em;font-family:Charter,Source Serif Pro,Georgia,Times New Roman,serif}article.paper .paper-header{text-align:center;border-bottom:1px solid #e5e5e5;margin:1em auto 2.2em;padding-bottom:1.5em}article.paper .paper-header h1{text-transform:none;letter-spacing:0;margin:.2em 0 .6em;font-size:1.7em;line-height:1.3}article.paper .paper-header .paper-authors{margin:.4em 0 .2em;font-size:1em}article.paper .paper-header .paper-affiliation{color:#555;margin:.2em 0 .6em;font-size:.9em;font-style:italic}article.paper .paper-header time{color:#777;font-size:.85em}article.paper .paper-abstract{background:#fafafa;border-left:3px solid #999;max-width:760px;margin:0 auto 3em;padding:1.2em 1.6em}article.paper .paper-abstract h2{text-transform:uppercase;letter-spacing:.12em;text-align:left;color:#555;margin:0 0 .6em;font-size:.8em}article.paper .paper-abstract p{text-align:justify;hyphens:auto;margin:0;font-size:.95em;line-height:1.65}article.paper .paper-body{text-align:justify;hyphens:auto;font-size:15px;line-height:1.7}article.paper .paper-body p{text-indent:1.2em;margin:0 0 .8em}article.paper .paper-body .paper-col>p:first-child,article.paper .paper-body h2+p,article.paper .paper-body h3+p,article.paper .paper-body h4+p{text-indent:0}article.paper .paper-body h2,article.paper .paper-body h3,article.paper .paper-body h4{text-align:left;hyphens:none;break-after:avoid;page-break-after:avoid;font-family:Charter,Source Serif Pro,Georgia,serif}article.paper .paper-body h2{text-transform:none;letter-spacing:0;margin:1.6em 0 .5em;font-size:1.1em}article.paper .paper-body h3{margin:1.2em 0 .4em;font-size:1em;font-style:italic;font-weight:600}article.paper .paper-body figure,article.paper .paper-body img,article.paper .paper-body pre,article.paper .paper-body blockquote,article.paper .paper-body iframe{-webkit-column-span:all;column-span:all;break-inside:avoid;page-break-inside:avoid;max-width:100%;margin:1.4em auto}article.paper .paper-body .math-display,article.paper .paper-body .katex-display{text-align:center;box-sizing:border-box;max-width:100%;margin:.9em 0;padding:.3em 0;overflow:auto hidden;display:block!important}article.paper .paper-body .katex-display>.katex{white-space:normal;font-size:.95em}article.paper .paper-body table{-webkit-column-span:all;column-span:all;break-inside:avoid;page-break-inside:avoid;table-layout:auto;width:100%;max-width:100%;margin:1.4em auto;font-size:.9em;display:table}article.paper .paper-body table th,article.paper .paper-body table td{border-bottom:1px solid #eee;padding:6px 10px}article.paper .paper-body table thead{background:#f5f5f5}article.paper .paper-body pre{white-space:pre;box-sizing:border-box;max-width:100%;margin:.8em 0;padding:.7em .9em;font-size:.78em;line-height:1.4;overflow-x:auto}article.paper .paper-body code{font-size:.88em}article.paper .paper-body .paper-block{-webkit-column-span:all;column-span:all;break-inside:avoid;page-break-inside:avoid;background:#fafafa;border-left:4px solid #888;margin:1em 0;padding:.75em 1em .75em 1.1em;font-size:.95em;line-height:1.6}article.paper .paper-body .paper-block .paper-block-title{margin:0 0 .4em;font-weight:400;display:block}article.paper .paper-body .paper-block .paper-block-title strong{font-weight:700}article.paper .paper-body .paper-block p{margin:.5em 0}article.paper .paper-body .paper-block p:last-child{margin-bottom:0}article.paper .paper-body .paper-block ul,article.paper .paper-body .paper-block ol{margin:.4em 0}article.paper .paper-body .paper-block figure,article.paper .paper-body .paper-block img,article.paper .paper-body .paper-block pre,article.paper .paper-body .paper-block table{margin:.6em 0}article.paper .paper-body .paper-block--theorem,article.paper .paper-body .paper-block--proposition{background:#f3f6fb;border-left-color:#2a5db0}article.paper .paper-body .paper-block--lemma{background:#f1f7f7;border-left-color:#2a8b8b}article.paper .paper-body .paper-block--corollary{background:#f4f1fa;border-left-color:#6a4cb0}article.paper .paper-body .paper-block--definition{background:#fbf6ed;border-left-color:#b07c2a}article.paper .paper-body .paper-block--example{background:#f5f8ec;border-left-color:#6b8b2a}article.paper .paper-body .paper-block--remark{background:#f7f7f7;border-left-color:#888}article.paper .paper-body .paper-block--proof{background:0 0;border-left-color:#ccc;padding-left:0}article.paper .paper-body .paper-block--proof .paper-block-title strong{font-style:italic;font-weight:600}article.paper .paper-body .paper-ref{color:#2a5db0;border-bottom:1px dotted #2a5db0}article.paper .paper-body .heading-anchor{opacity:0;color:#999;border:0;margin-left:.4em;font-weight:400;transition:opacity .15s}article.paper .paper-body h2:hover .heading-anchor,article.paper .paper-body h3:hover .heading-anchor,article.paper .paper-body h4:hover .heading-anchor{opacity:1}article.paper .paper-body .footnotes{column-span:all;border-top:1px solid #ccc;margin-top:3em;padding-top:1em;font-size:.85em}article.paper .paper-body .footnotes ol{margin:.5em 0;padding-left:1.5em}article.paper .paper-body .footnotes li{font-weight:400}article.paper.paper--cols-2 .paper-body .paper-row{grid-template-columns:1fr 1fr;align-items:start;column-gap:2.4em;display:grid}article.paper.paper--cols-2 .paper-body .paper-row--full{max-width:760px;margin:0 auto;display:block}article.paper.paper--cols-2 .paper-body .paper-col{min-width:0}article.paper.paper--cols-1 .paper-body{max-width:680px;margin:0 auto}article.paper.paper--cols-1 .paper-body .paper-row{display:block}@media (width<=1024px){article.paper{max-width:920px}article.paper.paper--cols-2 .paper-body .paper-row{column-gap:1.8em}}@media (width<=720px){article.paper{padding:0}article.paper.paper--cols-2 .paper-body .paper-row,article.paper.paper--cols-1 .paper-body .paper-row{display:block}article.paper .paper-header h1{font-size:1.4em}article.paper .paper-abstract{margin-bottom:2em;padding:1em 1.2em}article.paper .paper-body{font-size:16px}article.paper .paper-body p{text-indent:0;margin-bottom:1em}article.paper .paper-body .math-display,article.paper .paper-body .katex-display{margin:.6em auto;padding:.4em .2em;font-size:.85em}}.astro-code,.astro-code span{color:var(--shiki-light);background-color:var(--shiki-light-bg);font-style:var(--shiki-light-font-style);font-weight:var(--shiki-light-font-weight);text-decoration:var(--shiki-light-text-decoration)}@media (prefers-color-scheme:dark){body{color:#c8c8c8;background:#111}.site-footer{border-top-color:#333}article .block .series-tab{color:#6b6b67}}@media (prefers-color-scheme:dark) and (width>=880px){.series-run{border-left-color:#444}.series-run .series-run-label{color:#6b6b67}}@media (prefers-color-scheme:dark){spoiler{color:#c8c8c8;background-color:#c8c8c8}spoiler::selection{color:#111;background-color:#c8c8c8}a{border-bottom-color:#666}mark{background:#5a4a00}blockquote{background:#1a1a1a;border-left-color:#555}time{color:#888}code{background:#fff0001f}pre{background-color:#1a1a1a;border-color:#2a2a2a}pre code{background:0 0}table thead{background:#1a1a1a}table th{border-bottom-color:#111}table td{border-bottom-color:#222}article .divider{background:linear-gradient(90deg,#1110,#444,#1110)}article .footnote{color:#111;background-color:#c8c8c8}article .footnotes .reversefootnote{color:#69c}article a:hover{color:#fff;background-color:#111}article hr{border-bottom-color:#c8c8c8}article .note-aside{background:#1a1a1a;border-color:#444}article .note-aside .note-aside-title{color:#888;border-bottom-color:#333}section ul li a{color:#c8c8c8}section ul li span{color:#888}}@media (prefers-color-scheme:dark) and (width>=992px){section ul li a:hover{border-color:#c8c8c8}}@media (prefers-color-scheme:dark){.footer{color:#666}.back a:before{color:#c8c8c8}.wiki-link--unresolved{color:#555;border-bottom-color:#555}.editorial .block p.wiki-ref{color:#888;border-top-color:#333;border-bottom-color:#333}.editorial .block p.wiki-ref .wiki-link{color:#c8c8c8;border-bottom-color:#c8c8c8}.editorial .block p.wiki-ref .wiki-link--unresolved{color:#555}article.editorial .editorial-masthead{border-top-color:#c8c8c8}article.editorial .editorial-masthead .editorial-masthead-band{border-bottom-color:#c8c8c8}article.editorial .editorial-masthead .editorial-masthead-band a:hover{color:#888}article.editorial .editorial-masthead .editorial-type-label{color:#c8c8c8}article.editorial .editorial-masthead .editorial-title{border-bottom-color:#c8c8c8}article.editorial .editorial-masthead .editorial-standfirst,article.editorial .editorial-masthead .editorial-masthead-byline{color:#c8c8c8;border-bottom-color:#c8c8c8}article.editorial .editorial-type-badge{color:#111;background:#c8c8c8}article.editorial .block h2{color:#c8c8c8;border-top-color:#c8c8c8;border-bottom-color:#c8c8c8}article.editorial .block h3{border-bottom-color:#c8c8c8}article.editorial .block blockquote{border-top-color:#c8c8c8;border-bottom-color:#c8c8c8}article.editorial .block .footnotes,article.editorial .editorial-series-nav{border-top-color:#c8c8c8}article.editorial .editorial-series-nav .series-dot{color:#c8c8c8;border-color:#c8c8c8}article.editorial .editorial-series-nav .series-dot--current{color:#111;background:#c8c8c8}article.editorial .editorial-series-nav .series-dot--planned{color:#555;background:#1a1a1a;border-color:#444}article.editorial .editorial-series-nav .series-dot:hover:not(.series-dot--current):not(.series-dot--planned){background:#1f1f1f}article.editorial .editorial-series-nav .series-pagination{border-top-color:#c8c8c8}article.editorial .editorial-series-nav .series-arrow{color:#c8c8c8;border-bottom-color:#c8c8c8}article.editorial .editorial-series-nav .series-arrow:hover{color:#888;border-color:#888}article.editorial .editorial-related{border-top-color:#c8c8c8}article.editorial .editorial-related h4{color:#c8c8c8}.astro-code,.astro-code span{color:var(--shiki-dark)!important;background-color:var(--shiki-dark-bg)!important;font-style:var(--shiki-dark-font-style)!important;font-weight:var(--shiki-dark-font-weight)!important;text-decoration:var(--shiki-dark-text-decoration)!important}.paper-figure{background:#f0f0f0;border-radius:4px;padding:1em}article.paper{color:#c8c8c8}article.paper .paper-header{border-bottom-color:#333}article.paper .paper-header .paper-affiliation,article.paper .paper-header time{color:#888}article.paper .paper-abstract{background:#1a1a1a;border-left-color:#555}article.paper .paper-abstract h2{color:#888}article.paper .paper-body .paper-block{background:#1a1a1a;border-left-color:#555}article.paper .paper-body .paper-block--theorem,article.paper .paper-body .paper-block--proposition{background:#0d1520;border-left-color:#47b}article.paper .paper-body .paper-block--lemma{background:#0c1a1a;border-left-color:#2a7777}article.paper .paper-body .paper-block--corollary{background:#130f1e;border-left-color:#64b}article.paper .paper-body .paper-block--definition{background:#1a1205;border-left-color:#a62}article.paper .paper-body .paper-block--example{background:#111905;border-left-color:#572}article.paper .paper-body .paper-block--remark{background:#1a1a1a;border-left-color:#555}article.paper .paper-body .paper-ref{color:#69c;border-bottom-color:#69c}article.paper .paper-body .heading-anchor{color:#555}article.paper .paper-body .footnotes{border-top-color:#333}article.paper .paper-body table thead{background:#1a1a1a}article.paper .paper-body table th,article.paper .paper-body table td{border-bottom-color:#222}}