/*! normalize.css v3.0.2 | MIT License | git.io/normalize */@import url("https://fonts.googleapis.com/css?family=Open+Sans:400,700&display=swap");html{font-family:sans-serif;-ms-text-size-adjust:100%;-webkit-text-size-adjust:100%}body{margin:0}article,aside,details,figcaption,figure,footer,header,hgroup,main,menu,nav,section,summary{display:block}audio,canvas,progress,video{display:inline-block;vertical-align:baseline}audio:not([controls]){display:none;height:0}[hidden],template{display:none}a{background-color:transparent}a:active,a:hover{outline:0}abbr[title]{border-bottom:1px dotted}b,strong{font-weight:bold}dfn{font-style:italic}h1{font-size:2em;margin:0.67em 0}mark{background:#ff0;color:#000}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sup{top:-0.5em}sub{bottom:-0.25em}img{border:0}svg:not(:root){overflow:hidden}figure{margin:1em 40px}hr{box-sizing:content-box;height:0}pre{overflow:auto}code,kbd,pre,samp{font-family:monospace, monospace;font-size:1em}button,input,optgroup,select,textarea{color:inherit;font:inherit;margin:0}button{overflow:visible}button,select{text-transform:none}button,html input[type="button"],input[type="reset"],input[type="submit"]{-webkit-appearance:button;cursor:pointer}button[disabled],html input[disabled]{cursor:default}button::-moz-focus-inner,input::-moz-focus-inner{border:0;padding:0}input{line-height:normal}input[type="checkbox"],input[type="radio"]{box-sizing:border-box;padding:0}input[type="number"]::-webkit-inner-spin-button,input[type="number"]::-webkit-outer-spin-button{height:auto}input[type="search"]{-webkit-appearance:textfield;box-sizing:content-box}input[type="search"]::-webkit-search-cancel-button,input[type="search"]::-webkit-search-decoration{-webkit-appearance:none}fieldset{border:1px solid #c0c0c0;margin:0 2px;padding:0.35em 0.625em 0.75em}legend{border:0;padding:0}textarea{overflow:auto}optgroup{font-weight:bold}table{border-collapse:collapse;border-spacing:0}td,th{padding:0}.highlight table td{padding:5px}.highlight table pre{margin:0}.highlight .cm{color:#999988;font-style:italic}.highlight .cp{color:#999999;font-weight:bold}.highlight .c1{color:#999988;font-style:italic}.highlight .cs{color:#999999;font-weight:bold;font-style:italic}.highlight .c,.highlight .cd{color:#999988;font-style:italic}.highlight .err{color:#a61717;background-color:#e3d2d2}.highlight .gd{color:#000000;background-color:#ffdddd}.highlight .ge{color:#000000;font-style:italic}.highlight .gr{color:#aa0000}.highlight .gh{color:#999999}.highlight .gi{color:#000000;background-color:#ddffdd}.highlight .go{color:#888888}.highlight .gp{color:#555555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaaaaa}.highlight .gt{color:#aa0000}.highlight .kc{color:#000000;font-weight:bold}.highlight .kd{color:#000000;font-weight:bold}.highlight .kn{color:#000000;font-weight:bold}.highlight .kp{color:#000000;font-weight:bold}.highlight .kr{color:#000000;font-weight:bold}.highlight .kt{color:#445588;font-weight:bold}.highlight .k,.highlight .kv{color:#000000;font-weight:bold}.highlight .mf{color:#009999}.highlight .mh{color:#009999}.highlight .il{color:#009999}.highlight .mi{color:#009999}.highlight .mo{color:#009999}.highlight .m,.highlight .mb,.highlight .mx{color:#009999}.highlight .sb{color:#d14}.highlight .sc{color:#d14}.highlight .sd{color:#d14}.highlight .s2{color:#d14}.highlight .se{color:#d14}.highlight .sh{color:#d14}.highlight .si{color:#d14}.highlight .sx{color:#d14}.highlight .sr{color:#009926}.highlight .s1{color:#d14}.highlight .ss{color:#990073}.highlight .s{color:#d14}.highlight .na{color:#008080}.highlight .bp{color:#999999}.highlight .nb{color:#0086B3}.highlight .nc{color:#445588;font-weight:bold}.highlight .no{color:#008080}.highlight .nd{color:#3c5d5d;font-weight:bold}.highlight .ni{color:#800080}.highlight .ne{color:#990000;font-weight:bold}.highlight .nf{color:#990000;font-weight:bold}.highlight .nl{color:#990000;font-weight:bold}.highlight .nn{color:#555555}.highlight .nt{color:#000080}.highlight .vc{color:#008080}.highlight .vg{color:#008080}.highlight .vi{color:#008080}.highlight .nv{color:#008080}.highlight .ow{color:#000000;font-weight:bold}.highlight .o{color:#000000;font-weight:bold}.highlight .w{color:#bbbbbb}.highlight{background-color:#f8f8f8}*{box-sizing:border-box}body{padding:0;margin:0;font-family:"Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;font-size:16px;line-height:1.5;color:#606c71}#skip-to-content{height:1px;width:1px;position:absolute;overflow:hidden;top:-10px}#skip-to-content:focus{position:fixed;top:10px;left:10px;height:auto;width:auto;background:#e19447;outline:thick solid #e19447}a{color:#1e6bb8;text-decoration:none}a:hover{text-decoration:underline}.btn{display:inline-block;margin-bottom:1rem;color:rgba(255,255,255,0.7);background-color:rgba(255,255,255,0.08);border-color:rgba(255,255,255,0.2);border-style:solid;border-width:1px;border-radius:0.3rem;transition:color 0.2s, background-color 0.2s, border-color 0.2s}.btn:hover{color:rgba(255,255,255,0.8);text-decoration:none;background-color:rgba(255,255,255,0.2);border-color:rgba(255,255,255,0.3)}.btn+.btn{margin-left:1rem}@media screen and (min-width: 64em){.btn{padding:0.75rem 1rem}}@media screen and (min-width: 42em) and (max-width: 64em){.btn{padding:0.6rem 0.9rem;font-size:0.9rem}}@media screen and (max-width: 42em){.btn{display:block;width:100%;padding:0.75rem;font-size:0.9rem}.btn+.btn{margin-top:1rem;margin-left:0}}.page-header{color:#fff;text-align:center;background-color:#159957;background-image:linear-gradient(120deg, #155799, #159957)}@media screen and (min-width: 64em){.page-header{padding:5rem 6rem}}@media screen and (min-width: 42em) and (max-width: 64em){.page-header{padding:3rem 4rem}}@media screen and (max-width: 42em){.page-header{padding:2rem 1rem}}.project-name{margin-top:0;margin-bottom:0.1rem}@media screen and (min-width: 64em){.project-name{font-size:3.25rem}}@media screen and (min-width: 42em) and (max-width: 64em){.project-name{font-size:2.25rem}}@media screen and (max-width: 42em){.project-name{font-size:1.75rem}}.project-tagline{margin-bottom:2rem;font-weight:normal;opacity:0.7}@media screen and (min-width: 64em){.project-tagline{font-size:1.25rem}}@media screen and (min-width: 42em) and (max-width: 64em){.project-tagline{font-size:1.15rem}}@media screen and (max-width: 42em){.project-tagline{font-size:1rem}}.main-content{word-wrap:break-word}.main-content :first-child{margin-top:0}@media screen and (min-width: 64em){.main-content{max-width:64rem;padding:2rem 6rem;margin:0 auto;font-size:1.1rem}}@media screen and (min-width: 42em) and (max-width: 64em){.main-content{padding:2rem 4rem;font-size:1.1rem}}@media screen and (max-width: 42em){.main-content{padding:2rem 1rem;font-size:1rem}}.main-content kbd{background-color:#fafbfc;border:1px solid #c6cbd1;border-bottom-color:#959da5;border-radius:3px;box-shadow:inset 0 -1px 0 #959da5;color:#444d56;display:inline-block;font-size:11px;line-height:10px;padding:3px 5px;vertical-align:middle}.main-content img{max-width:100%}.main-content h1,.main-content h2,.main-content h3,.main-content h4,.main-content h5,.main-content h6{margin-top:2rem;margin-bottom:1rem;font-weight:normal;color:#159957}.main-content p{margin-bottom:1em}.main-content code{padding:2px 4px;font-family:Consolas, "Liberation Mono", Menlo, Courier, monospace;font-size:0.9rem;color:#567482;background-color:#f3f6fa;border-radius:0.3rem}.main-content pre{padding:0.8rem;margin-top:0;margin-bottom:1rem;font:1rem Consolas, "Liberation Mono", Menlo, Courier, monospace;color:#567482;word-wrap:normal;background-color:#f3f6fa;border:solid 1px #dce6f0;border-radius:0.3rem}.main-content pre>code{padding:0;margin:0;font-size:0.9rem;color:#567482;word-break:normal;white-space:pre;background:transparent;border:0}.main-content .highlight{margin-bottom:1rem}.main-content .highlight pre{margin-bottom:0;word-break:normal}.main-content .highlight pre,.main-content pre{padding:0.8rem;overflow:auto;font-size:0.9rem;line-height:1.45;border-radius:0.3rem;-webkit-overflow-scrolling:touch}.main-content pre code,.main-content pre tt{display:inline;max-width:initial;padding:0;margin:0;overflow:initial;line-height:inherit;word-wrap:normal;background-color:transparent;border:0}.main-content pre code:before,.main-content pre code:after,.main-content pre tt:before,.main-content pre tt:after{content:normal}.main-content ul,.main-content ol{margin-top:0}.main-content blockquote{padding:0 1rem;margin-left:0;color:#819198;border-left:0.3rem solid #dce6f0}.main-content blockquote>:first-child{margin-top:0}.main-content blockquote>:last-child{margin-bottom:0}.main-content table{display:block;width:100%;overflow:auto;word-break:normal;word-break:keep-all;-webkit-overflow-scrolling:touch}.main-content table th{font-weight:bold}.main-content table th,.main-content table td{padding:0.5rem 1rem;border:1px solid #e9ebec}.main-content dl{padding:0}.main-content dl dt{padding:0;margin-top:1rem;font-size:1rem;font-weight:bold}.main-content dl dd{padding:0;margin-bottom:1rem}.main-content hr{height:2px;padding:0;margin:1rem 0;background-color:#eff0f1;border:0}.site-footer{padding-top:2rem;margin-top:2rem;border-top:solid 1px #eff0f1}@media screen and (min-width: 64em){.site-footer{font-size:1rem}}@media screen and (min-width: 42em) and (max-width: 64em){.site-footer{font-size:1rem}}@media screen and (max-width: 42em){.site-footer{font-size:0.9rem}}.site-footer-owner{display:block;font-weight:bold}.site-footer-credits{color:#819198}#loading{position:fixed;z-index:100;inset:0;display:flex;flex-direction:column;align-items:center;justify-content:center;color:#fff;text-align:center;background-color:#159957;background-image:linear-gradient(120deg, #155799, #159957)}#loading p{margin:1.1rem 0 0;font-size:0.95rem;opacity:0.9}html:not(.is-loading) #loading{display:none}html.is-loading,html.is-loading body{overflow:hidden}.spinner{width:2.5rem;height:2.5rem;transform-origin:center;animation:spin 1s steps(12, end) infinite}.spinner rect{fill:currentColor}@keyframes spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion: reduce){.spinner{animation-duration:3s}}.page-header{display:flex;flex-direction:column;justify-content:center;min-height:100vh;box-sizing:border-box}@supports (min-height: 100svh){.page-header{min-height:100svh}}@media screen and (min-width: 64em){.page-header{padding:3rem 4rem}}@media screen and (min-width: 42em) and (max-width: 64em){.page-header{padding:2.5rem 3rem}}@media screen and (max-width: 42em){.page-header{padding:2rem 1rem}}.erdos-head{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:0.75rem 1rem}#erdos-title{margin:0;font-size:2.6rem;font-weight:normal;line-height:1.2}#top-note{max-width:38rem;margin:0.5rem auto 0;font-size:0.85rem;line-height:1.5;text-align:center;opacity:0.8}#top-note:empty{display:none}.mode-picker{position:relative;flex:none}.mode-mark{display:flex;flex:none;align-items:center;justify-content:center;width:1.9rem;height:1.9rem}.mode-mark svg{display:block;width:100%;height:100%}.mode-text{font-size:0.9rem;font-weight:700;line-height:1;letter-spacing:-0.04em}#mode-button{display:flex;align-items:center;padding:0.3rem 0.5rem;color:#fff;background-color:rgba(255,255,255,0.14);border:1px solid rgba(255,255,255,0.5);border-radius:0.4rem;cursor:pointer}#mode-button:hover,#mode-button[aria-expanded="true"]{background-color:rgba(255,255,255,0.32);border-color:#fff}#mode-button .caret{margin-left:0.3rem;font-size:1rem;line-height:1}#mode-menu{position:absolute;top:100%;left:0;z-index:10;margin:0.35rem 0 0;padding:0.25rem;list-style:none;text-align:left;background-color:#fff;border:1px solid #dce6f0;border-radius:0.3rem;box-shadow:0 3px 10px rgba(0,0,0,0.18)}#mode-menu li{margin:0}#mode-menu button{display:flex;align-items:center;gap:0.5rem;width:100%;padding:0.3rem 0.75rem 0.3rem 0.4rem;font:inherit;font-size:1rem;color:#606c71;background:none;border:0;border-radius:0.3rem;cursor:pointer;white-space:nowrap}#mode-menu button:hover{background-color:#f3f6fa}#mode-menu button[aria-selected="true"]{font-weight:700}#mode-menu .mode-mark{width:1.3rem;height:1.3rem}#mode-menu .mode-text{font-size:0.62rem}.page-subtitle{margin:0.85rem 0 1.4rem;font-size:0.95rem;opacity:0.75}.query{display:flex;justify-content:center;gap:0.5rem}#mapper-input{width:100%;max-width:21rem;padding:0.55rem 0.8rem;font:inherit;font-size:1rem;color:#fff;background-color:rgba(255,255,255,0.14);border:1px solid rgba(255,255,255,0.45);border-radius:0.3rem}#mapper-input::placeholder{color:rgba(255,255,255,0.65)}#mapper-input:focus{outline:none;background-color:rgba(255,255,255,0.24);border-color:#fff}#go{flex:none;padding:0 1rem;font-size:1rem;color:#fff;background-color:rgba(255,255,255,0.14);border:1px solid rgba(255,255,255,0.45);border-radius:0.3rem;cursor:pointer}#go:hover{background-color:rgba(255,255,255,0.32);border-color:#fff}#result{font-size:1.4rem;color:#159957}#result .mapper-link{color:inherit;text-decoration:underline;text-decoration-color:rgba(21,153,87,0.45)}#status{min-height:1.5em;font-size:0.9rem;color:#819198}#paths{font-size:1.05rem}.path-row{position:relative;margin:0.4rem 0}.arrow-wrap{position:relative;display:inline-block;margin:0 0.2rem}.arrow{padding:0;font:inherit;color:#1e6bb8;background:none;border:0;cursor:pointer}.arrow-maps{display:none;position:absolute;top:100%;left:50%;transform:translateX(-50%);font-size:0.7em;line-height:1.45;white-space:nowrap;text-align:center}.arrow-maps a{display:block}.arrow-wrap.open .arrow-maps{display:block}.more{margin:0.4rem 0 0;font-size:0.9rem;color:#819198}.explain{display:grid;grid-template-columns:1fr 1fr;gap:0 2.5rem;align-items:start;max-width:52rem;margin:4rem auto 0;text-align:left}@media screen and (max-width: 42em){.explain{grid-template-columns:1fr;gap:2rem 0}}.explain-col{display:flex;flex-direction:column;align-items:flex-start}.explain-toggle{padding:0.35rem 0.9rem;font:inherit;font-size:0.9rem;color:#606c71;background-color:#f6f8fa;border:1px solid #d5dde5;border-radius:0.3rem;cursor:pointer}.explain-toggle:hover{background-color:#eef2f6;border-color:#c3cfda}.explain-toggle[aria-expanded="true"]{background-color:#e9eff5}.explain-text{margin-top:0.8rem;font-size:0.85rem;line-height:1.65;color:#606c71}.explain-text p{margin:0 0 0.8rem}.explain-text p:last-child{margin-bottom:0}.site-footer{padding-top:2.5rem;padding-bottom:3rem;margin-top:2.5rem;font-size:0.85rem;color:#000}.site-footer p{margin:0 0 0.35rem}.site-footer p:last-child{margin-bottom:0}.site-footer-owner{display:inline;font-weight:normal}