html{--red:#dd514c;--red-darken:#ac423d;--blue:#1f8dd6;--green:#5eb95e;--orange:#f37b1d;--yellow:#fad232;--purple:#8058a5;--hint-fg-color:#afafaf}a:hover{text-decoration:none}.centered{text-align:center}a.scroll-link{color:unset;text-decoration:underline}.results-hint{font-style:italic}.results-hint .interesting-result-indicator:after{margin-left:0}.interesting-result-indicator:after{content:" ";display:inline-block;width:8px;height:8px;border-radius:50%;background-color:#f37b1d;margin-left:.5rem}main{padding:1rem 2rem;max-width:1280px;margin:auto}section{margin-bottom:1.5rem}a .pdf{color:var(--red)}a:hover .pdf{color:var(--red-darken)}.downloads{display:flex;padding:1rem 1rem 1rem 0;justify-content:center}.downloads .my-download:not(:first-child){margin-left:7rem}.my-download{display:flex;flex-direction:column;align-items:center}.fa-less-than-equal{font-size:12px}.distance-measures{margin:1.2rem auto 0;display:flex;flex-wrap:wrap;justify-content:center}.distance-measures .distance{max-width:40%;min-width:550px;text-align:justify;margin-bottom:1.5rem}.distance-measures .distance .distance-img{text-align:center}#distance-img-nld{height:73px}.distance-measures .distance:not(:first-child){margin-left:2rem}.contact-cards{display:flex;flex-wrap:wrap;text-align:center;justify-content:center}.contact-card{padding:.5rem;display:flex;flex-direction:column;border:1px solid #dedede;border-radius:5px;min-width:280px;margin-top:1rem;margin-right:1rem}.contact-card .card-title{font-weight:700}.short-example-wrapper{display:flex;flex-direction:column}.short-example{margin-left:5rem;margin-top:.5rem;border-left:3px solid #dedede;padding:0 0 .5rem 1rem}.short-example-heading{font-style:italic;margin-bottom:.5rem;font-size:17px}.bot-space{margin-bottom:8px}.monospaced{font-family:monospace;font-size:15px}.fract{line-height:3;display:flex;align-items:center}.frac{display:inline-flex;flex-direction:column;line-height:1;text-align:center}.frac div:first-child{border-bottom:1px solid #000;padding-bottom:5px}.frac div:nth-child(2){padding-top:5px}.cap-fix{font-size:24px}.frac div:nth-child(2).cap-fixed-bot{padding-top:0}.black{color:#000}.hint{color:var(--hint-fg-color)}.separated{display:inline;border-left:1px solid var(--hint-fg-color);padding-left:5px;margin-left:5px}