@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAAg0ABAAAAAADiAAAAfXAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhYbgwwcNAZgP1NUQVRIAGwRCAqMUIocCxoAATYCJAMwBCAFhHwHgQIMBxu8C1GUctKwSH4kZGcyF5VKE2tDozBfPs7Hwz+Hv/veX4P+b9G0RLNs6Ry+AAMJA+14x6N8TKL3E27675JA4YJZU0ihBlWZWZU5NlFKTZCJwuaw7xWbivLFnXi/b79Wd88cPKqHdo+QCJ1S/gy6DGaDSoIkZvVKI3QRS5AsVVK4UAPP0t0gUNdAgkjXfBq/niOAIQCp+OMAgoA+Cy9qvdhsgcFH890NkHPmdtVD0vUsbxMwKEBFICR6E94gEF+53FUXYF1A4PkUPh7CBsAQAih/zIYC7lXiiHINq9/trX+iry8ib/qaAmfgkRw8fEXywqmAEUDgtlK4U7JoFA4rCFGd3zaVzVD95UmCcBslLunxgAm/fpIDNARnZAnfBA6KqaM+Bp6iueiiwQhXHaBQ9a1QX9il/1TD7QjJkaNn9YyRWQ3LnSsvzHHoVeCAfCAcADb4/rELOZEG1+zZgF/Y2i5zwCX6po/4u2T+ptTotB7QEwDxnq8BWERAEB4CmBzF6oSb6hovAvDPUQfiADKJWrgAIriSAk1CQoReBcgXxBIGTfwEFXHQNO7ici69YTZRTqqe8kUiQIuYTdVR7hn1H7kSmQ0QJX/vwgRAE08UGgcfF4agihADDAHmgAWQawD5CACabHoikBCKbtkUUIkJVIZEImJSVBoNJ00oEmqM9DJuoyhKPC+4BwUO0qH94N9VxxVGTcUocPTq1XAa8wQHT4G/u/utlhpQIOwb8vw5+J9dun4k0H0UOns0dwo97fB5GgQR2rkTBXoYGzMZOzSWti7wb6ftglhaKPB+zlZE4uC1XYe02E4HNpzBSAjBU30g3MEbtuy5gTHsvEmHGn+qLXTz7lEUuPICB7cpiO3HZwVfvECBcOvg6QjbAi+w4Rn41X578M6ZM3LgiE4lsMq9nzXcPn376aC7Rp1q17NZePqGA12dsG0b+NMnWWm7PRy+ehaqj++eUMWOHY+va9v3LEuMUWjnRoQS0GQkBgckgH/zbnomRqGTe8MjDl69GB6lw8Fjuw6lte07tK8Rdxw4ckD1uPueExjH3nx+/3L65ee7j9NzrHYkEGIU2jtZOgUNKLDjtWEbQlAJdKo6cgbkyZLLsehiBBiWAO3brUFESDIm9DCMAsVWQEiwTcHSnWcrTp+GBDuNWtx2Knxyz54dks4E/m6lNZuOVw99hcfOXYcsQhC9GTGyISFYANu6t5+wc+feg5kHL96lk4PbFG3FgKlrX1dXvHVPzwFmz4EOVccOnBq6fT59//7d2xOrrHT+nzRhV9mZMpkzWvcgWvOxlnmq1nyAP5vw8YT3c02McYqcqxyZMWBOVtoGteS1LXL1Nllu8aBpZnP2RDZ3WF6avuyHv2kDPH/CaqW/z3v6W/K37LjVJlbIin+ZIaUb2lOczlYD6TU4szwDqkTKf+Mj51Rf/Al7JGzqxFW57bkmzW3Zglhq//uJuwMZrJ7NeK07MYncb7D9/E55mvdeq0e7xDu7YtJq58tG9u2BX6ZnfzteW6j4cZNCj6CBnvnSeHNnbY256xVLpfOlCeXtripz3yv26ckuTxtsdhT5Z40aWt2ypdOauXRm8SvfsAlf/6qNfj6dPnqrzGTUxf9NMmpDZsbR7eVGqKdMn2ofn8iOYQWs8JcmuYI3z5RQSRkqBx1gzEZX/V/x6thUqeacUrxoAM3/t4StaIKcX1njf3Vpp7J0b2t1ydEP9Fr9hvxRPye/pjvEstX/JxeLJPJfyqX+TyXslIdfLCxYesr8PnGYmHpqaUHDHw8qWMm1V8ulpFwiSi7+v5qtHHLkp30/kTNh9HvajHqTRW9st26M4WzasZxtkAsMEOM3aL46zumOeWnCG8as/egyM8zCrjUNrqqYE88emG/KL04bwL5+4Uc//M+vnOf3jClsdg0c6Zqz2De2qKVyQEfSitjpdmdZ5eBhwxqgDtUVz6jbqmn3aaS9X6sE3+1mNNtWqERnGJ7guy7gcbLa5l0c063SPdXp6kXYp7S+H8P9R2vT2lKrBhkTM9SqLqm4X7QAy/aph8Lhm1pmzWJ2qUKz47b6hKrzjka2lF28hjHFdMe0fLryhzrDgOsFGdFv3Bu50SA+nviu20B0E8veTTwuNmwcee+NaFHhtYq4ug/aP2252xYAtZWav5UCAAHkUilv7L2bM8QDf+MR5JeAz7oxBYCv1/FdkYidDJBSAG0EQIAvRiXZ6hCf+QDkOn6Y0wD7BjxOzTdkhknzIzl5uX6vePmPmQ38JCAueZFfsjfyaxJgRkkL5MuGOoCEmnwAz6hAxiJMaGMJohDFkka6E0tJsSmWI86SWK4kjhiRAnGpEMCQahVqthJxLCO+DRcwsKlZo1malPHyzA1qOdm5uFqNDg/AhC08+suEzE5uh2pB9sh4cK2G/HvN3KplGquY2UQWZRws5mpm4TKPV7oJXKr5NJjFzcbF3ciTmzXRy5EhWy692bIVytZUqZ7K9ZSFfqHq5QNoOwYMaa6y2O7ViDjYYj73QuHwOUsWUbqQOVAFbOFapTEqniwsHkgex02qzkXORpqG8S05LiZ61jctf1O1Whf7zD6Sc/twU8iLYBQqbfNUddaVjHDNsY5ArvcPgUYQkBAkohAHcVEU4iE+wlG+ptqsrGFZPDivIMdUaMhzFgwz5JoK9fmaNW74KRRZeYh6CQAA)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAqoAA8AAAAADgQAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABYAAAAWABAADEdQT1MAAAFwAAAAzQAAAYxRcz+eR1NVQgAAAkAAAAAzAAAANJMNggJPUy8yAAACdAAAAEoAAABgXpJk+lNUQVQAAALAAAAAOwAAAEjnaswWY21hcAAAAvwAAABSAAAAbBG0CttnYXNwAAADUAAAAAgAAAAIAAAAEGdseWYAAANYAAAFGQAABkxzYTcWaGVhZAAACHQAAAA2AAAANhk8fMBoaGVhAAAIrAAAAB8AAAAkBVQCOWhtdHgAAAjMAAAAMAAAADAbxQBDbG9jYQAACPwAAAAaAAAAGgmiB+ptYXhwAAAJGAAAABsAAAAgACMBLm5hbWUAAAk0AAABJQAAAnw18Vy7cG9zdAAAClwAAABJAAAAgtyb+joAAQAAAAwAAAAAAAAAAgABAAAACwABAAB42nWPNVZEQRREb3+XGM2RFElwJyJDEtzdncWwFbYxKe7u2vR5uEzrs6pThQIimpjDqa1vaKK8d3lmjPzBmf5Rsse65ybIxAHQGoX9Lba+xXyLFc5o/4zB/X0BJdchJMBilUiYkKxFWFbow8Un6dI33+LHH9muTvyaUbii2iUgFAfBlw9cLDzR4334MT31qUmRKlWPNlqopJhCslF4wugJZyScuYT63MQxikjfyJvAxTEdV28QmCzUa1JVeKbi4OgjE+2a3iMG8wrYez5vAAAAeNpjYGRgYOBiMAJCFhc3nxAGueTKohwGqfSi1GwGqZzEkjwGKQYQYAER//+DSADdjQkeAHjaY2BhUmKcwMDKwMDUxRTBwMDgDaEZ4xiMGHUYUAATMzIvOMQzguEAgwJLKdOv/0IMv1jEGXcC9c0HyTHeZJoIpBQYmADrhgxFAAB42g3HwQ1AQBQFwHkfooAtQWNOSBw30YaCFMfcRsSi0BRWde9HD86+XZnEqBlQSR7qxSD/ZxA+z54FMQB42iXHtwGCAAAEwCNnKgdwFbewxk4rCfswC5swCfHzI0SEh0hwdeyNVi6UenqZ40/8i6dtw/27+Bv327at27J1bgRu5Eo1YrlMJVFIlTv1sg6gAAAAAQAB//8AD3jaRZQDmOtYAIUv2rRJ3TQo4mlSv07TNh3PrB4GzzbWts0Pa9u2bdu2bavd28G+IsZ/z/kT4AJMazGajyMAgxBgQQMAtxbRoG7WqnW7wnMxCka0CDZq1X5cq5qGTnExvr3Z0CeOIMtBzKH5/96OZjbfkiQllZDl5q/wo/czvK7xjXIhx/iSUXvVSOeCqjatrF2J7/rncyUuGh2CqKLP/rkOz/v3mYTVW3U2L/U4ihCOsqzAbdE3qmxSLcwa7OnVACJ0AD2FTgMKMACwjVqlXndYm+V5m9PaKwTNsjQP1aazHWzgV19K6ar4SvZbPptp/hxSeQ9jtUDR5VGNz3bCu8pRpwv+9u+HnRlZdoUjPolftp1fCHKBT6HY/AIABCJkcj16FxRBHwDaxE0ihh5EHsOxq6Zp1DROJ/fTBKOEDYOrT8ZlVfoRoWkn5YnwPLyq+UPepO1MRYp6Ffd7vmwJqqUcA02XRoXlWmEPsZE6aM9jjpf7q8q0eU5M9bGaHHNseCqdsPPXpXNRWY7m0tdZdsr3DHKtH166IeOTuoqdfRKEzW9gO5tK6xfCei5pMA16SIO62a5vsh2KIDl1x6JIZSVk6B7KwwsEzLQIZHtNaB8pI5scBXdcc9zo6Akb1h83PHrC6i27HYSTw1nZnlZOxQU2inhxLdSwKK0b3LpRdWNpliXZ5c6EkOD8887YdpszF84/bcutzl2SG55+OuQzXJLz0f6x3sHpcM6MxuAWc4ePhPFsLBmjPQDA1m+tv9Fb6HyQJcQGLqGpRGMCK9iO048n+Q0ynPHg4Q6ZT4OpjiT0B1Qhsm/apfcnM1bZEHQ2xYXEmI8Oc4rgRpJukdBcITaWbb6+5ZbXj27VmwinIqIU8AcyIwMAoNYPAOBD0YlgUzADAM0Yb7c2fpMg9pDVfuSQX92uYQKFuYogI0HGNke6tsbrjhH1oODUNFT5xVI9btmUFNElpjh0g2ypOS2ql0219DbKPj9NS3fqUS2nWvKNkE+JLkGV0jLlVrPNr26+tnmBHMwXrvWrjYKn3FXEsleZPqBVO2gvgpIUb76PvHRHVRuYrnhlXOwqe4oNxX9Krc6iwZ9+wgABGgCUQg+BPGhMjqStKUW1NR1/YD2emmNzNtEUTWk64Wm9PrGfIzKMvlsSVCvHM0nqMoH108yh4q1UkuZzVjlSTAwtzG69t9yTmd4jJ8LxVCoDF/D18oWHywEIk/qXZ5Xs2LUIKd2Z/pGOUC5TK+L7IAQY6K3f4AfwUxAAOqgDIOhTWk5YWSdaGtRkvxNaOqY1sWxPgLalbG3Yt7HVZlvu3bVlt9kVDiIcyiXEXEaMBGifSzcedGnp/iFNRiiUT4j5LB8MMsyhu4/t0nfQnrN37bXS5fxwMM7zlMuzrlj+bmGpUq8sDyY4jsJtC39u/YUM+AEw/7fQ5sZfcgpqS4jsykYHSaqQLp/q5xL8y5LgRYuiVFiSClUrbSQioVjUz0STIgX3VRVGkvxBhqfe7+1dvHjrkiLwcYZh+4ba7n1PJtfAN8HmYHijexQZ85R9/dipt7OpWUQ+Uo/A80Q+YUI+ZJnkO+4fFmwiILzx8UTcG6YDATfDRvxs0IvOFJW4IrAdSqJwObztjGJSTrOCnFDEMyEdZP0RlnEHAnTYG0+8eJhrvxZI0bK8F4Qo4A7rKm9KLE5CN1/O6wUfA9FTAv80grSvYOTLvBsmMSuZvKqH3QEE4V6yTMNTLrnEBf4DBe0iVwAAAAABAAAAAiFICF+zdF8PPPUAAgPoAAAAANv/xlsAAAAA3MhRmPxM/osFEQQXAAAABgACAAAAAAAAeNpjYGRgYPr1X4jhF6vdH5+/d1gFgSKogAcAp6kGkAACXQAKAOsAAADrAAACzgADAtcAEQLhADICwf/2A3H/8AIxAAkCAgAiAgj/8wKb/+8AAABTAFMAUwCMAOIBPQF7AeACLgKAArkDJgAAeNpjYGRgYOBh6ADiJQxsYB4CsDAwAgAd4wFSAHjajZFFUkUxEEUP7sxwd3eHCe7uQ1y/uy+DMUtgHayKW6kUbs/6tN3kdYBCHsggLTMPeEobtZxGZVq15XSK04otZzDPs+VMOnm0nEUjKcvZtHJsuZhRZQynaS1KLafxqpmWpXi+5WwR7OLGySkuVgjIOrjlnCMuZa+5UUyvbg9+JunT7Vfep6yHgLgXv9gh61b0WvktFllnj30pHusbVmZfehHV97AruiaojlN8HMrzGQU3LuoZlM4AQ6Iz2TG9Vod6q1T/qlX/Setr79Rrt+g/+/nk/bz2nDwPUXyvU9Le6dc9IE2R3gFTf6OO+ndKi+ZPNTnxNj55d6o4NwozBM28NUmTb/8y+2tuTUWQM3rVpbMzJxIw56Hoqxfh6nWljhcMk1rlAAAAeNpjYGIAg/+bGIwZsAEeIGZmZGJQYWRmZGFkZWRjZGfkYORk5GIvzcs0MHA0ANMmZkYQ2hxGm0DFHaG0MVQcRptCxZ0AzicVnwAAAA==)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-cyrillic-400-normal-BeBP8F9c.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-cyrillic-400-normal-BfV63fuA.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-greek-400-normal-DURI2LrF.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-greek-400-normal-B05reu_N.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-vietnamese-400-normal-D0hKSraj.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-vietnamese-400-normal-CWKP4bwO.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-latin-ext-400-normal-BsQBoqgu.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-ext-400-normal-DJAp0_Pt.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-latin-400-normal-Dm29J5Fl.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-400-normal-rLRKR-Xb.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAAhoABAAAAAADnQAAAgLAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhYbgwAcNAZgP1NUQVREAGwRCAqNUIp3CxoAATYCJAMwBCAFhGAHgQIMBxvrC1FUkoqR/UiMbTVspci2a4rIlolCIRoOilK+B///vx9rn/vkK6ZJtJolMYssGs1DJLE6i5BphWQz06a0P/+0zX/ad3Rqo4SRjWJ0vSdsfWyNHatKVhE8X1zs7d4SFHkUxwVBUB54IsFR1nhiBxTRPxpz9TZMLZQRmrbw99PH/FCxUAmJSmIk0eqSKiks1MCqziK4jE5StPpN//oiUII06+hiQQRyh+rpHZYj5cD72lJbDuxvtQVlwOKRU18JWPQA1X8QZ8iaLCC6X9diZslqAWSc7mVS5h1MDJ0/dkwPPMunLwEpq77ZqbqxoVTChVuDVHb50pS6cQEcEzPjU4xx6uvYSevp0al4npzJWIBEdFrkJ3K/NctH8DNK83zL6Ibg0xD9Lhnl7iIcwA2IG5Y3jM+jKuM59Q4j7PV4eiwD1hJAraI5sze1jD7s1ckANoq9dca+bAEktIVfODiFJQMVwTTYr5D80qNDu3agNwDaejlAFx0iKQPNHvSNet4U10MA/i+KAUFIPT03QVpwwCroVXf5ASgnRHOWJtNGz2laLd/zoy5+RibPl/mGKkDXO9eX+tq++edwcoG56E4qVwIvlSgEmSgnyn94ACWAdoBOwI4A20CeMis1dqFM7x89pe8305MQSESWiMFi6nuaVSSGFUZ/LoOKWsPp4pvR1ZBqA6JeB5QzpQZYw3QYUm05ckQLqS7D6E6g7O0d/TkYhVRaRH3tGlBePXjwIEBgtnrPkYAiJGN0HcLAsNU71kCqPloSKxVOZsg1PUA5ieRhpAjWfIcN/LT+YUi1GmZjGejOEU565zZErb1wBFJdh9GtFL76BNcrFcIKvBxWja3eDmPQozMbc9Dr161CrfZQBpokjJlWi61soPSKFehuYJ3mk2Z86p41ml1wfUR9xpJDm7maCGcODa2G2QgD3clR9oIUgCgUWu2RPY7iPtlTU0mvib1XfbHwCQ9XWECpbDwjn2Em7xk4/QnZMHvHjj3agDVHLmiDuOds1hz01cyAcwXcNfQkrKHNtK4pGJaeuLZvE3PTtVXbnEoTFRAmB72+GVIN99MV/f0u9B149uLVgww5nNbdDak6IzQUSIHIkf4nccJH9QwIqGvOIOrHUbT6ggGH931RoBkAyn2J97fzVl8R+5flLuzjivEExXh6B9eMp+nGE1s110EkqU2oGaRA9tYnChEHNWudVjxzUK79R1TQoCQ2liEHZtnobpZN5ypEfUTav+GA1ok5tXWt7dqDZ/PQ3ZtZQ5tXw7DNjlObuL3rEPWeNXTzmb07CxMRBR0TPxO2O4yUx+SeZzIecVhX6Iz78NP4R/H3HKxYlmlkA2qgxKNRZjtEJywfI9MnSA7BXhmRkXYJPAc/R1tB2PtfiBCsvFTBibsemvJFFM1d9l2cgWQwLV2YGD0jOI8sFOmeEG2JqBt8jSOgQtleRtMfMIsaZVOFNGedCsnD0j9KorAZUs3nxdW8Bx+x5iG4cYksINophrBx2aTBVn5stqUoWJKuqd64UWC1Npa7lm8dEPlapCti/5kNPJGM6kD7xrAU5578moU+8ek1oY4NgdmufYWVCz0CRYH53n6lgoURpSklsQF5vn4VggUhHrzsUJftr7hf1h5lM10qbbYYBVhZcL6cvsqizsr00jwNsgQP9CxJHOj6IbbX1yiLu5C+sb4xp1ovoHj+JdsgT8XBWUye/hmE/ZOEb7dBjL0MnaLWg//PMoRYWG2x3ZDaz4m0cEUEiebCocpWHO2A6Uru5gxogY9j4J2OI3UxpI0TBJPyW41X92yoysqqOodf4911Zrf/maoB9LUJkaIMJOYnDHvRg5YWEV75qD4/+qxbAN4bO/gKnnJxsR1MTps/xYg4RaTqIzYB3Dmmg/GxbSy+AVto+GCEjcI0uxtGr23DPYNCJSIzNZsk2r9Jlucq9IiI8HJ0icuQxXN8TX2l0hozW8MR/UKiaAScM3aJlFrI3TzNyvziU6ROnhFOpgonT/MS/9gUyZhZtXkMOUtqjfNXmFuuMI8nZYvNcX4LKntZa9OocMoZbw1eSmStKacgKXtiNHgeGDG014kwaoPrDX3t6Uy8Dr8DzzAKxfXphnMNblmGmvrKUuev4pk+ohDDyXg3JgYO7DDzBeGRknvDcNvJ4FVBh09jPGJf89f8zl40imfphCvPaAPoD7M+iDpDXYb8r+sIbQlL9kByKtn7ktvTG/0tNCIdNY326jjjvpNQzjoDq64uAAjYPvSk/Yzwgvf8aqTj/gO+fhrRAYDvk3GdORDFEuOIQEdkAIQfUI5u5gIsR0Tn5//zgJFlXwH7B0hOtE8O9wXTfc5cL5OtHNMPDNdTvXWf+g0nUUdplx73meG8wgtdmgz4KIsmQDoLE2DKIsCZtz/AG9IVEPSoD4j6xPrXmsCKICjVgiyK2wZqwb4CRRqUy1FLoUCJIsXqE2YEr1bHnRQLylO7QNXqGxuJOoYgiSrzN4pIxQgWKYFcmGRyTarIFWhWTyxMvRzlSuRJUqAWq71KJQF7EnYcKpFraFx8NYcMgZklMOMJZkNleZjr97jG1GauB4oAv7Nai1pi+IVJRqamiSuw51txGgqmckkLfh6ShQ3FqjVF6WJaHrrUTwPFnDy+tLIV3aVFSnxqkOu15qlS8Qlp9QZOqDuVzQoP6W5NB9WXZNfNHMDtS+DK6CtdeQVFJUqVKU/ubktkMj9ZYe/obG/oou9o4eyn72DooufEpkb476z/c796iwEAAA==)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAArwAA8AAAAADmQAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABYAAAAWABAADEdQT1MAAAFwAAAAwwAAAYBRQj/bR1NVQgAAAjQAAAAzAAAANJMNggJPUy8yAAACaAAAAEoAAABgXpJkq1NUQVQAAAK0AAAAOQAAAETnYswVY21hcAAAAvAAAABSAAAAbBG0CttnYXNwAAADRAAAAAgAAAAIAAAAEGdseWYAAANMAAAFdQAABtap7eukaGVhZAAACMQAAAA2AAAANhlvvoRoaGVhAAAI/AAAACQAAAAkBmIFtmhtdHgAAAkgAAAAMAAAADAblQCDbG9jYQAACVAAAAAaAAAAGgpwCJttYXhwAAAJbAAAABsAAAAgACIBQW5hbWUAAAmIAAABGgAAAmAy+laRcG9zdAAACqQAAABMAAAAgtyP+joAAQAAAAwAAAAAAAAAAgABAAAACwABAAB42n2PJVoFURSA/zs+09GONJyCFCRRcCLu7rAYtsIycHd36uV+B3t+3AUFRHSwiNPY3NJB/cDa/CTlI/NDExRO9i1Ok48DoDUKO8a2YmxibIUzMTRv+pIloIQdQgIsNohkEuJ14QDrDOLikxb0Z4bcdkKVwpWrXQJC+SBAiQ8Yz8IT35N/JIb6u0mRLVGPHtqopZpSClF4MsGTmREWoX4hkl8i/SlyGxeHYlzjB/rAVGwSmSrTq+8xu/Spsa6+AAsmNIMAeNpjYGRgYOBiMAJCFhc3nxAGueTKohwGqfSi1GwGqZzEkjwGKQYQYAER//+DSADdjQkeAHjaY2BhkmCcwMDKwMDUxRTBwMDgDaEZ4xiMGHUYUAATMzIvOMQzgqGRQYGllOnXfyGGXyzijDuB+uaD5BgvM00EUgoMTADfjwv2AAB42mNgBEIOBiYGBgYRMKnCwFSenlHCCGRmliTmMILkWYByzEABJkZWxglAag+QDRQHEmASALppBSgAAAB42iXHtwGCAAAEwCNnKgdwFbewxk4rCfswC5swCfHzI0SEh0hwdeyNVi6UenqZ40/8i6dtw/27+Bv327at27J1bgRu5Eo1YrlMJVFIlTv1sg6gAAAAAQAB//8AD3jaXZQDuPNKAoYHbVykbZIy6WTapHabY5+z+1tr27b1YG3b1rVt27ZttnfS08s25od3AgJAGr0a7cMqwCAC4mAKgCBRCbSdfm/Q7ehagoMqUTHt9xZwv+dQm9MSun+Y2uMr/O0w1tC+pw9FW4ZX5HJWNm2aw4fhDdeWdJvoU61aRZIzse6btrdf0SPNFvknPuKpW61UkhaMZB7d8tT/8N6nz0q7cz1vvTHrWUY0Fo8b2sb8DmulV9u6NDtHABqdAAD6BvopsAAFoEu9zmDgwW5c17s88XeYNNclPOer6xYxxT8+n886jSJ8XWWXlK9zw4e5FE1AKA2fXpciKQIpwcebMW8aPvz0De2SaQrJlKKJr3tfOBuOyjdDMrwWIDDN3noAuhp0wSoAhIzfGqd2GPHU6w48/63UI7zN8RxPeNprIEr5gTeJhcOY6essoHFulINfG94ZrLqq8PrpSiefUvPlaxHG+UYQhrhmReB4mDKtoNasfLQqGqa1+63Vn/5nJtIKFV8+S3ftiuoRM1orw4OUXK/837AcCxkx09TSceu/5V5OuQAiVHpZ4w0fhUvD2yGKFBZbqwPIWp0bPYQORb8FKqiAFdau7TisSzRpDrm+p4HncqxQJt9mTsYNw8Fm2741Y8AcmewWbwDn3/jRrvfOb+19w8f60+/+1vraO1dULoCsjVKuVa1nUmk9jq0tcCt63e7Vd6xEOYzImpNt1RtpLWco65/e8tpffmxpy6fW3vLrD89VF9+/ns1BvaTlNEVSTHP2rVNwRyr1vvctf2iNKUiVtYwm8QCCt4yeRCP0e1ACwKCYyfS6fugJXYtr3fgCnuRNmbdxO9e7cRjOZQIPB50G6zxwVn2+Xk6ZJJSPRZJxWUyQQTWIcrbLEjTtYDo4vPEjcHbjNe24npUz6ZASLu1cZNQdCwDehX4ItoCdAJBN6jzq1z2e/Jl6C9hbQKzzPmYoQF43TGSY2OBpA7uOwyZKJ1xiw+sTOLqFI0QVi5zthoVGTTZknc0HcKRc6DeS9akS7f4miJzA8CFYYxJ1KZFMuXbw3wEppARDhiRaNpfnhSz949duHP7aDFdr/w3JfH8umh//TSTm1+fzvYIkIJjLpYbXIsiLxV5+YSMvQDPi1qrx2lJIVn5iVcN6FC099BAGAIH26BF0HLwWzIJtz1Liux1schDGPE/j/o5vv8/y745jZ6lP+BhvMpom3Gxahvd1ly1OQLkgklWt3a7ZYmHvHoQIH5G/rXeESH1+S6WQwooSMHpkdvvUmwbZfqFUqLVlyFclMsiFSV76QlwTVMOZW1vQfge/IEe5DIQZ+fLsto1mLRPLNDswkdo+39vbpmS52exMtTlXrRDGPh09Ak9mnlRQBsuMnZewPx7AE8ifHbY+5PzmmKDchKhnx8Q53g63uPK6/tz2grP6uvfgiFN0ZxwRQjWmqumqm5Bl/juFKUeC7JDNjjiaJPMCjpSl1iun5z6wrzV4TX/ufXuao3S6vFrq7msFcFQQsrkgvqS9uxUIRCO5bBBzmXRxpQwABHD0GFLgDcD1uW8gdyyGha/rhtH1vGcboPbExR87WJSFQCwVUb+SFCMBxJmlQrtcNamlxSOJmCJppaKw/QufXKZJbEW3/HrbwuyW5ddPpWlCzUiStrQMGPXnsC/Gf+DlYA6sjKm3fc7DiL3F9fyABhPeXcY7r3UMpmZ8eOAZ46sc1/8Our5CArdur6fCsbSWqPRLVjVqiJlImmhirmGb7heC8J/BE4tG2gpLSV21U1hLlOpZQmOiouqa+OG3BX4Lh09fGuCccmmRZrNqKNatqrWSIqHTDf1MJIcG5WwlmQlEzFY217ZqHe3yv/wl8Ax9QS1UAAAAAAEAAAACIUieAco2Xw889QACA+gAAAAA2/kIFwAAAADcyFGV/IP+lgUSBBcAAgAGAAIAAAAAAAAAAQAAAvr/EgD6BT38g/2lBRID6ADV/84AAAAAAAAAAAAAAAwCXQAKAOEAAADhAAACqf/CAs8AOQLNADwCkABgA17/vwLgADEB5QAjAd8AAQKc/84AAABTAFMAUwCOAPABUgGOAgQCbgLOAwkDawAAeNpjYGRgYOBhmAjE6xhYwTwEYGFgBAAfgwFkAHjafZAFTgRBEEUfsi4H2Aju7hbB3T2+7jqCXIEDcA5OwNn4CY1LOjX96pdOAyEeaKGpNQA8NfUabiLWFDbcTLgJwy2s8my4lX4eDXvoxDHspZtjw1Fmib1yE4SJGm7ivWeTRyqckiGHS5kEFlfyCvLzOMh06tgsMqZjk8KiIMURj8oKlHXXsMgpfsQm+5xxzg7X+t5S0zfDHQ4j0hwSyi+Q4lKqheqVUaWdSUaZYEqU1D0nM11oN33aMZ1Enzv9rFx6rzX0/y6f+Z+pa/Lq3GO9v462ZlxnghFEsgmUr1iG9k+dNtE/4mCLj7HkFcmQQh1YwUXvLM1Ccfp/vHmOAspQXpJRUsqsSLVxpNeR+u7dkX2fNPAC4dlWvwAAeNpjYGJg+P8FiDcxGDNgAzxAzMzIxKDCyMzIwsjKyMbIzsjByMnIxV6al2lg4GgApk3MjCC0OYw2gYo7QmljqDiMNoWKOwEAwtwXkg==)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-cyrillic-400-italic-LtDj4Puq.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-cyrillic-400-italic-DOm7gkEm.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-greek-400-italic-BXJkY8Z_.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-greek-400-italic-Cpok44kl.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-vietnamese-400-italic-CHjUy4Zj.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-vietnamese-400-italic-f_Q_YWy8.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-latin-ext-400-italic-DuoQFNx5.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-ext-400-italic-DY6SROO3.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/stix-two-text-latin-400-italic-BLib6pG4.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-400-italic-CPbPgQcn.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(data:font/woff2;base64,d09GMgABAAAAAAgwABAAAAAADjwAAAfVAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhYbgwwcNAZgP1NUQVREAGwRCAqMUIocCxoAATYCJAMwBCAFhRoHgQIMBxvWC1HUSUnqDCQ/EjK3azRD2W1tmtuep0A6QQi/B//fr2Xnvg/d/bsDBBrLEyhCl4qLYxc7Uz5ubNyC07t22a6f+ee3+fcSxntGg0hZTU3MwojCQkwGi4T/G1eBUc1cRCqLbLcj0cc923d9SgKOA8rjKGsmCYLywAMJUy2M6O7br9WdU0y7nrYf2oVI6JS0c+eD2WC+aHfrvCuNLmrpGq9r6aRCSJWnqrZD5kSIUouMOuOs+vaPRKACAEagJALJETHcYTMqCfheV4rKAesmKhICm0e+uBKQ4ADNRcNhV3NFiO+3It8pZq0Ais72CjnTAAgxEHSitE6vCuFlutU0v+KFC1G4Z70uq5Vw8J4gVwQxLw9FMskmNngxJMkX6Vip0nt2dCWFP08cNqCoSjHVJzVPsx+wKkmKcGZ/HZ4339yHNIhazR5kGIqkwvF9jYLP+NCCn/c50hew9FQ9yUiaD67bjc/NjT7Dw16YNAB787V1gTVOoMttKyJ6eOKlgUOAvkjsZw38xBHgHjqAHwBAv2wFgHEYIrmthe5ETA953pWKIYB/jpohHrGEu7hkmwi4x2oQqf8PBo66pYQXHpha9S+OxgVoxfG90Euahcoo8GVeNKb/HmkBABbIzCXVW7xcphQUokTURRuA5GLoBxgEbAeAvQG4xHGz0cY44tMbLpWfscK56OnpkBxMiES8k7ZOS79t+l5qFa3qbc+1figbQWuHgLS3TE07u0rwbeLoURWUXUHkSiCtqwPSXkQOZSq0dm4OSK8d6iIJ0LXqeyfYmWj21/0oqKbe0wNlzaQUUgaS1p+0QwGkXWhqRUO1K+m2HRCbasd6R8lIapnddhaBLdSUjWTt5NQ83n8CQfg4idaqPzal9uTZCSg7Mo/IO40wXV358vl5KFOtLiUBVQLz1deAlOxKlZ+ZncVKaUU1Hnit+vSePZP9ZmwpJr3X8pGcxvBWx3R2AiklPRlNPVWpjp6Fsqm+gAZ3dyPyHYPXGLr7f24LhNMwQ7qcsSJt60PzEqzPDKjYA0cvqlDnuEs5OOq0Y9QMViC7hseHTW40iyBjJ+fOH3Yem+ubQpcdp0KtljdDA8GSEqrhW/eyuhNCKAGlQy/mfabIP+wCB60EtgI7wQtu4JjaixZtKBkQ7DqNqOjuvQh2PQQyskMpMkQ3lBogrTNOZqKWgYtQtB9U7yhDGwHR4Jx0Im2OYuq6bvbRMzDiOnJQFeYs7zTa0TtIVAw2Ksw/en3zMKl+uN9kVzfiWju333loKNjXZV2cjKZCJKGXN8sz4JtSLpgSH5JJVwnEe8iThIcJd9l2JNtMQzXjYBevZQynZoLe1nZDQqcBO9QnOyqKmUhlB3Cc6Lx33J+oObipsjDTuxI0t+DzhBhXZ2NBsdB5dNRHpX/bZBQJidjqfomjwGuljskvy89TegvvKW0tHPn/sDdZ2xNPwZUzakPXLJXVThauFs5SBcYeP2SbAs/sncQn15f9SV6/vCA66/+8XY7kPmTehXU22oxteKlVV+8BqNLib46P2i0sjVZsSSwq2hQfuaO4NKppS0q+c17Z5sYstiwzxDe3rGFbppMsM/ifR1SjM4/JxlvMtA+Lg6ytKIYvP5GM3pBpRzqDrYAYt+SB6aVuJtnC3EL3U6yh8ZMqkiUfT+d7d5hF2heVa1oSciqMSO9M9DZFo8gChxpRCXjqFra/y5ympLRrRhY+lAumVP+GJSEf7ZvM91tQS9/YhSzoBnMiDbhcA7L/1eMct/XKqLeY/Zgs5Xo367kj/mT9Z9VRhsGJYME25Hcatdh96PXga2wmyHxHdxHaRZlaby0YoeGbOtZRsowRBqDLzS1eHMQraM3rt1i5dX/4wyw0hS608y/iSW0pQq49J8CJYybac58O1DQFa9auiORWCXx4wuVrRfHuNSVeP6zdzLLi+UGFHt5eZaAYCvzzChoJy1IIuoLTGlp30gkESZGxluKHJv4pgID32VVzKK7fhP6CTl2jg4gJCRfJ6r/IyeQkxwJPW1sGkdBvoOepqY3oN6wDl27Tyf9V0FaZkjoO0i6S6o4RWcvMK/8je9M6aHFHJW/S6QOBBP98Q5aiHcP+tdX6w04fTAem60P7gV+zMe0KlgHkBpvs0xfckRyNU21Qa30zblUDvwgACNg2vE4/KTdX1/uLBsb9BuDb4okzAPD9VLxi8W1TsY1YfQCIDIDwtSjB1grE8zAA6gZXuQbxD4D8VPvC5gf9PMbIXL94HpMgNNIOzENZfJ8j1vtbkrwPB0zRXdTqE8DSUgBfoDe2yPwYWUzrRIuz6th8L7MEk9ot0bR1llYrwi3tSFxyOmiZLBHW2DvfOAjGdJNIAgeqVMhXiUc815YT4EtVxCVK6ZtFK1JIQKJCoiQ8aeg2dbmqniIriMU7iVVbypMrV6v4RASkElvKJWGBcqeqiJRIBmKFitJ0J/5kofO2nKKoQo3fVqUSHYsLJja6AkxcTLLIS33lXttAwvqWkCiXTxToQrrn2CBVqq0kui48IDMwUnJGgoWR5EXReG0KDUdejsQcR5T2lCnCV6kNILlSvCyULG53vbUlBCKWKKiI/4h46SROJOMnGlco3qzVHkaXZ3McsL29Am6M6cHKKygqU65CKXu4FzAYAYx5GseNZeIaOPFuAQa2iatbIrlBgUq4+PcobiM=)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAqcAA8AAAAADeQAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABYAAAAWABAADEdQT1MAAAFwAAAAzQAAAYxRcz+eR1NVQgAAAkAAAAAzAAAANJMNggJPUy8yAAACdAAAAEoAAABgXvZlCFNUQVQAAALAAAAAOQAAAETlDswTY21hcAAAAvwAAABSAAAAbBG0CttnYXNwAAADUAAAAAgAAAAIAAAAEGdseWYAAANYAAAFFAAABkSEDZ7/aGVhZAAACGwAAAA2AAAANhlmfLFoaGVhAAAIpAAAAB8AAAAkBX4CYWhtdHgAAAjEAAAAMAAAADAcagA6bG9jYQAACPQAAAAaAAAAGgmZB+ZtYXhwAAAJEAAAABsAAAAgACMBLm5hbWUAAAksAAABIwAAAmgzMltAcG9zdAAAClAAAABJAAAAgtyb+joAAQAAAAwAAAAAAAAAAgABAAAACwABAAB42nWPNVZEQRREb3+XGM2RFElwJyJDEtzdncWwFbYxKe7u2vR5uEzrs6pThQIimpjDqa1vaKK8d3lmjPzBmf5Rsse65ybIxAHQGoX9Lba+xXyLFc5o/4zB/X0BJdchJMBilUiYkKxFWFbow8Un6dI33+LHH9muTvyaUbii2iUgFAfBlw9cLDzR4334MT31qUmRKlWPNlqopJhCslF4wugJZyScuYT63MQxikjfyJvAxTEdV28QmCzUa1JVeKbi4OgjE+2a3iMG8wrYez5vAAAAeNpjYGRgYOBiMAJCFhc3nxAGueTKohwGqfSi1GwGqZzEkjwGKQYQYAER//+DSADdjQkeAHjaY2BhMmD8wsDKwMDUxRTBwMDgDaEZ4xiMGHUYUAATMzIvOMQzguEAgwJLKdOv/0IMv1jEGXcC9c0HyTHeZJoIpBQYmAAUNwy3AAB42h3EAQaAQBQFwHm/SoDQEbpYoCLA0sU7QOxgRCwKW39X73m14G7Hk0mMVoFUPgyiMoPwA7aXBNAAAAB42iXHtwGCAAAEwCNnKgdwFbewxk4rCfswC5swCfHzI0SEh0hwdeyNVi6UenqZ40/8i6dtw/27+Bv327at27J1bgRu5Eo1YrlMJVFIlTv1sg6gAAAAAQAB//8AD3jaPZQDmOtYAIUv2qRNpymTVHGb1O00emhnObO2bXufjY9r27Zt27Zte7ezN3mIfc93zn8CQoCZ3A5thVMAgwTIgCkAhNWUCjXDsV2rx3NZCqbUFNYdeww7tqFrFJfl/cu6FjzhH7OYQ1v9dwfaYPi2KMqlgiQNf4Mff1DlNZWf0m3WmVgxbe268ejWttrpqlfhu//9Qs7n9LKQU9Dn/16Pt/zv2YLZt73x9nRPFpLpTEbgJgabyGvbzQ3XnN5XASLqAHoZnQ5koANg6U7Pdb2MleF5i1P9EyLNNHWa8tVZHtbx228UNYl7ffA5XzeGn7AyF41qf5mhiKK/tT8+REtZNvz3vy9G65oWSqRiKr/5biMFlo9/DNnhz2S8FBnvAfQeaIEBAOqKIVK6xiJa9yzbMHRH5TSKolVBb2Nd59yVZpm9MUS0+D7RKZ6Hdw7fapjRSq0npiIV+tWRahN2WjUGwhplUinRbs7MTy0tmXv0GaXpo1JrUysjxdKylvUseHw036tfr9dSmpaq6debvSLzBArttcnOezSZotfu9UsQDn+CCBBvupO/oFvReYAFZTCNJKgZfnxuEA5FNHmuZ1IksTbSNZqieYEoM0zDCM4sX7uELPIUPHyvEzfZ9KSnT9h4k5P23N3tYVwcr0i9VqfEcUkWcfzOkMV8Yeex3ZxeCOfWLYu9TreQzaXjW5550P5nbb3lafvuf/527fXHT4RchStyETqyxfS1xuH4xlPWmth0/eWckS1m6TCAk79N/oO+QxeAGlGrY6JrhZ9cVsgIlueN4RVkEc2GEdgOZzkfs8VyCaoJhUscXg6rg1LdHNUFQ5D5ZJ6LMcmsLIRRQTXTJNNkhjOGn+2996Ub7zsoJKRsQUmwI5WN1iCxTn5PLDsXnQTWAeuvztYJBmExrTskQY8srudgIgpzvCAhQcIWR5I2g7CzBDsoeI5KiP/LVGiqVJHEbChX4tB9kinXlFTFNpTma2jwQks1HCOlVBVDug/ypVwoI4mVEhVWasNvr79ueJnGNppXpcpuhe5ObWEtKk30FafC0AhBThOHnyMYYSq22p+QohpuTe3ShqunTnTcDJr63Xd+KUCEbFroYdDwu6sS+QGoFOWDGhRWpx3P4iwCKloFakBq0BofAY7QsNMPbSFfqQsxmbqE5xiGOUZ7gJKZXL3sJmvFie3MfZeJXnltu5hLZJRSFW6ctrrnLxbjUNG+OqvTTV2OsNqvrrlhdaRas1v4Lgh9LtXJ3+EP8DMQByqwAy4de1VTfAHEZJ2iSMSrsPQMczWURGbAJH3AoikHbnDQ3Kn7r1mx2TjErNGuGkIiFomEZOWmkKRN7UtFhPzLJjcSjzKL5250+NjiI7c4sl83O7UJtiAIYRzevTX61dbtntPdni3wfBgRCn+c/Bs58ENgrKbQ4oIfnIx8CEknVjEYOApzgzPifJH/SspF0FZpOimKTds0y8V0MpuKM+lCjoJHqmpMUeIsw0VeHAy23WavhpoTijEm3Q/Y+5FsXoFvgXGwUZBWwB6lU/Qq+saw57o+fCaBj+b8qhL4hBXwIdMwNTPgD5OaODp88d1SnmYohomlskkmk2TQJbyYk/lMQys1LoUvnN2StGZakHIifwmMJTNMIpuKMeQFOl96bWlowaQSleTDIYriTFlMGxqPZRji23W1OcIg/KBceAyh6EhLq7f5EJQxrxlpsZzBUQQPUeUoPPaCC8L/A9vEImYAAQAAAAIhSO6U5rZfDzz1AAID6AAAAADb/8ZbAAAAANzIUZj8TP58BTsEFwAAAAYAAgAAAAAAAHjaY2BkYGD69V+I4Rdr2h+fv3dYrYEiqIAHAK6vBuIAAl0ACgDrAAAA6wAAAtgAAwLlABEC5AAwAtX/9QOL/+4CQwAIAhAAIQId//ACwv/wAAAAUwBTAFMAiwDiATsBeQHgAi4CfgK3AyIAAHjaY2BkYGDgYegA4iUMbGAeArAwMAIAHeMBUgB42o2RBUpGURQGx25paezuLsLubtru9s8duAIXIeXCXIGUA17senXmNO+7QD53pJGSniM/pJQFTqGGp8CpFPIYOI0h7gOnv6vJoIzbwJlUsBu4kC6aXjgFd5UFTpWLAmfIuYEzJVjigjO2OGeSiPaUI3aYZY9dKWpunT3pgEPzvt6X3NBHs/eNtddmL4nITdzIp9oLrjkwP88YMyyz4vQNv3Eu/O6RsL7xw5Y1+Rr7rTinhDaaaKVd2tZ2+36N9L9Olv6xY0k+kE7Z4vq1oyT0lLx2lXzoGjZ3SZLrVxVKaKPFu9X5Em2S3eb2tK9zGcN/QWXkBa71jq3YwQkMEkU9USnMU/NF2wP3WWHdNk12eU6ouDH1xuirl2D/dVPtM/lmWagAeNpjYGIAg/+bGIwZsAEeIGZmZGJQYWRmZGFkZWRjZGfkYORk5GIvzcs0MHA0ANMmZkYQ2hxGm0DFHaG0MVQcRptCxZ0AzicVnwAAAA==)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/lean-exposition-site/assets/stix-two-text-cyrillic-500-normal-D76mpzEv.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-cyrillic-500-normal-B8it83pB.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/lean-exposition-site/assets/stix-two-text-greek-500-normal-BRdOuDOo.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-greek-500-normal-DzT0OzfO.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/lean-exposition-site/assets/stix-two-text-vietnamese-500-normal-BwFVTPal.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-vietnamese-500-normal-CEWBe2fz.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/lean-exposition-site/assets/stix-two-text-latin-ext-500-normal-DHdgT-tc.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-ext-500-normal-pHfgesfB.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/lean-exposition-site/assets/stix-two-text-latin-500-normal-QKEzPprE.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-500-normal-BPyQuOGJ.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(data:font/woff2;base64,d09GMgABAAAAAAgkABAAAAAADkgAAAfIAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhYbgwwcNAZgP1NUQVREAGwRCAqMTIoaCxoAATYCJAMwBCAFhSoHgQIMBxvkC6OiklOB4p8JtjGth4rQEouIcaJAKQoGY2TAgiLEa1wf38kaHlmUtwr+/3+/38+1j1x5FxMNEU/moVC9BRqVQSVlGN3iHz+fKdrWrvYe2fYp1X4GI9oIRkEbid8BH9XBQ//37b75QxIn2gkoXlcNPF8p00DDIpkEbFi4/8vU/9Or1i24B3aAAY9IZnb7pNP+1FL0XkQCeJpaqZjGIhJQiM3KbRkX7dcQCdfq0/j1AgQqAGDSX6wRgdIhv7DB0JwH2i56N1YDzabRVQXwY4W/FvCEAdJ/4lKwBcMkDqvGxmuU2wCULvYKOfOiJAbphx0LA8+cwmWy3PTNyfTbh3qebhjrJEy9L8gVy9iWLwa0dBMbvbgoMFRqYpnSfnF0KV97LengoNgtRYosw0+Kro9KNVIGLKtvEHiTLfWIXKorar8mJMo9nq833H1u8H43NA8ke5kmUhTJi+ZtBxuuC2HiNmzCYVeWBdg9W2OaNktW3Dq+6WBksoEDBvMufhXNL9+hj0HwDaBvTAQGhWwI5UStZTY657Lx+iGAv46qYbjnrbh16dYiwyzVoW5iRHNyHaGZaIY61Q9wdTSogwXpyKpsroKYZ8/KbFxSv3Qo2QGek58rVR/xcpmaoBCVRPVfA8B0FXQCdAPWB9iti+2+XGdsahWe3TErPzYaNt9IgUHiSVgcTriMSCJykul1ETWkSHKvwCo4eD0WXAusqIwgRhYjOHjz4cPX44xLKLADmDnzc2nw4eDrxmFXrwJXDmSfCSphcPd6ZRlWsnYvBggKLl8OB8/j5fMKkY2TN2UGsBSzEpQYkWD+msUwFAWOrNggQFZs3rxtCBJBYMcc8BGat27VMYTA8uNYsPvn5geP794MBx+6hgJLGCFTl1YErl2Dg6/3DybneuLX/CuA/GFr4NSuXSiwhRHPXH0eC57cuRMLbmfHsVacqUCl89btGuzdS5YAwgILZrVev354NxbcuhJYgwLLlqHAlDVXVOQZvHY+hAgWQjKwKRm0cCVWjmBw++rr2tWHz1/vJj9171izgTOlpF1Tg6at27SONes+uxBSBq+ePSjeeHXlVqyHxQoJM/ZWo2bLGvhw1rI3/hIIUQOw4G5D/PTtZQe9s94759CSCKZOhQET3n4P3rMAoVrCEGHTdyNUy9kCNGUHK2TLOBYAzGRa1JjWOQ9nL6JW9KzYoCIisNnaRJgPiSDPaMLMpcOWL1+9XrkaMzB5YApjyYo1Pn7NjPhZ6/rWrXIVnzYtasVr165cmuS2YP+SUM4K0y4TzcEVnuNyHgl4l9mc++hpzqOce9oUXnIRPYLZWdGqh0o2j02ZuIjOXkLTdm1TYjarc0XaDjpZrOn9r+LAg3s4H5yTXQvJvk/LXJOIy3Hi4TYUbNqw2JyeTnJYDdmTXN56DJH9Jun5+mjyc3CsDS51TNOO4IjZx0Hvmah1p+GxOgneFpfWb42XRayT9SLvTJb6Dw4eKhjS255ZGiydp+T3vLFNoZlt4qpoGyZEf7iosXJPyDTPrPKZp0/KdXsmZKZN8VSZ50y0OJSF9uD0UuUwS+dWVteUseXSoXmdB94RhZ26IqC2fEm5qH4UJww99ZhHW/lLD4Z8ZIDvfIf5YFqcCDfg1CftaJwLLmK8PVJU0XKmME3q7PcrgTtuLkf4gUOdX0aI/tVR0H0AKO/Gk/9WyjbFxJ1FKTlxF6jxrBn6Lp/EK5JO4SLbO7zjTXJTs5mhCtB4luOL/64P3GH+F3IqpHjHQMPfJde68Kg8QwajeQr5Jt7xnU3kVS9/vuZ5qAX4lKioSulMSxg3bn98+Kz5faIV7OgOIGlyvPzlifDp8evW9o9vPe+hRmC2xleLO7q7jZYKuU/F2r0Kds7WCwcAqagb0Ke/yVhb1TajoXf/utwWTb6WnWXxLziFac42dr1R7wV2eVpVFE5lWruxiMkr+KS9UQxW164MzH2TQDyDAB6RNr36YMMuZuK/RNFYIsozph8URAn5uYJsaakxRazmck/RqBJEQrTRfcG794mCUaWiHhsEC7fjL0Rz9nG1dQmZo4QZCesT2i923PGShCaubgr2wA+bu5wYi4edKoBr4SkG3v9kZxd0XiAwDGmcNjHeM46h7R8PGzAzkuv7Cv8AIGC9Lbwm5e8NufX/3Nw34LOOXQDw9cl+prfJ6nY4KoDIAAhfi2r3amGvQiDZ7CquIH+4nGt/Fv80xbeF+KkvTa80i6joJy6W0zt7VR9+S9L3hHHWyK6q98ZRFsB7MwuSzLZBydS3ZsnZcGa7N0rBsFVSNGmIVG+dWWrEoylqQhE/QVBp99udykN0eZdICfbVqVGhlomfBVbzcbByCQ+v4uZGt4ZER3WWi51y5TGxiZWnpzrW59KLv0k4v3pNWlJS+h6HRj7Z9ZOruAufaubWaUs9lDJ1Ze5UT3baXT64yOcK0BGIv6tWLA0FNa1YdmpGaqpsNcThtBqM5wiPZuG0FRqXvHtsc9FJ3b2pt8YNxKkKFRWRnDMNdgMG5tpmAOq6MNgqEESWRuqr5OLopq6D5g3GrUPT7imbXefhs4lm9js5jhWPgPwJNFtq6sU9XJtYiKzEtIkVH6+Aa8Zoc/IKisqUq1CZ3Z19KlUHFcvSGTQxxihdsqFDlDbGGKEHdVbHHfo//D3HAgA=)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAqgAA8AAAAADfwAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABYAAAAWABAADEdQT1MAAAFwAAAAzQAAAYxRcz+eR1NVQgAAAkAAAAAzAAAANJMNggJPUy8yAAACdAAAAEkAAABgX1plFVNUQVQAAALAAAAAOQAAAETlcswUY21hcAAAAvwAAABSAAAAbBG0CttnYXNwAAADUAAAAAgAAAAIAAAAEGdseWYAAANYAAAFEQAABkow+rwLaGVhZAAACGwAAAA2AAAANhmPfJxoaGVhAAAIpAAAAB8AAAAkBacCiWhtdHgAAAjEAAAAMAAAADAdEQA0bG9jYQAACPQAAAAaAAAAGgmeB+htYXhwAAAJEAAAABsAAAAgACMBLm5hbWUAAAksAAABJQAAAng031ywcG9zdAAAClQAAABJAAAAgtyb+joAAQAAAAwAAAAAAAAAAgABAAAACwABAAB42nWPNVZEQRREb3+XGM2RFElwJyJDEtzdncWwFbYxKe7u2vR5uEzrs6pThQIimpjDqa1vaKK8d3lmjPzBmf5Rsse65ybIxAHQGoX9Lba+xXyLFc5o/4zB/X0BJdchJMBilUiYkKxFWFbow8Un6dI33+LHH9muTvyaUbii2iUgFAfBlw9cLDzR4334MT31qUmRKlWPNlqopJhCslF4wugJZyScuYT63MQxikjfyJvAxTEdV28QmCzUa1JVeKbi4OgjE+2a3iMG8wrYez5vAAAAeNpjYGRgYOBiMAJCFhc3nxAGueTKohwGqfSi1GwGqZzEkjwGKQYQYAER//+DSADdjQkeAHjaY2BhsmWKYGBlYGDqAtIMDN4QmjGOwYhRhwEFMDEj84JDPCMYDjAosJQy/fovxPCLRZxxJ1DffJAc402miUBKgYEJAOHJDCkAAAB42h3EAQaAQBQFwHl/KwFCR+hQAQQqAixdPxqMiFlh/d/Ue149uPvxZBSDRSCtdjRRmUD4AKssBDYAAAB42iXHtwGCAAAEwCNnKgdwFbewxk4rCfswC5swCfHzI0SEh0hwdeyNVi6UenqZ40/8i6dtw/27+Bv327at27J1bgRu5Eo1YrlMJVFIlTv1sg6gAAAAAQAB//8AD3jaRZMDeOtqGIB/pKmWrnGZNEmbtFu1KvN2bNu28eDatm37wbVt27bt294/Z2pjfXjfD1DA11iA5mAWYNAMeNAOgEtjNaib1UqtXJJEgYasxmKjWunF1Ypp6LQoSM5lQx94ghwHsIjm/HcHmlR/Ox5XYxFFqf8GP/4gLema1F7Mtvj8Ua68fGrb3IpWKGrX4bv//UINh4ykHEqgz/+9Gc/+79mI1V2xx+W7bFUOcjwvi+N7pqmjK9nJ/V3dGkDkD9Db6GygAgOAslEt1Wo2X+YlqSxqzglJzbIMN+1kV7axgT98P6rF+TdmfSi2JuuvMHHB5439aFBeNfXMKmqTyRZyCP/3XTFnmlQg6LfECfOYOCMzH0Kq/i+JxpJ4L6D3QA70AKANhGANPYDchl3OI6OqiToJpslGHhuGWBvslVXqRSQVp01uVpLg4/VHWi1fKFOKs55W7zOQsVpgb2u6CWbdWQ8bK7fuDXfEDt//xEui7flYy+QiF/MFFVOwy/BoT6it5RbdCpoma+q3ZIoRz0OIWjNj+YqiJ2znS90RCOt/QES4FRq/oLvQRYRfCnQRfrrpwBtkQ5Oc7Jpt0AQYyVt3025JliTetExz31nZeVJBZfIU3LP+tGnTzli/4bSp005fu7iUx1S4P6G05fIxlmP8mJfm/YfF0PyuBeUChYU+Ld6WK0Q4KcDMPH/LpnPnzjxrw5aL5hfHjz6e18Wo6KLo2Z2jx8GeaWQ7efwhnCFEBRcGsPFr4x/UQJeADMnWwCPtFGReLtt2Lx7M3SCl7Gs6PGTse80RQ4E1VhUC6w232qVk00UjnIkkQmxEavIGxXjIhSTN4kzTFeRCWv3nNavPn7quJ9qshOJaMOg3JvUBgBrfAYDvRKeBMWDiMNnqviAB7CZi9SKbLDW7iklSWJRkBckKLosEtOWwdvQvQ9muamhl/XMr4aYjZjwapEIxET2tmKqlsOl2S808j2a/lNWt9hZWsVRTeRpKsRAVjCqpiMuVyNR/uPam+g1moDV7lZSuKO5iRw6bXnVMZ6Ji+j2Igv60Vv8eI4/frCY6x6heE+c6im6lakknVms8Kn35JQbEUw/Z9KGHQStoH6zG0ZSmHU2r+wi7q3ZZLBNP0ZCnA6I6M+PcF4mmm+qNvMwZmXCTTl8Cednr85+Ze5LW/dG03t2cjE1daG04Pl5Su/MygZ2MpeHY5kLxgv0jzRCmjK/OLeQDFyNs9GRGT8z6zEw5j2+DkJipNX6HdfgZYIAObMfMITEHvKwNiWmaQ2LaxMsRLWVZ2udl845D2rdO37V/5+ZxeoHxQ4rRBNFMSYyXdlMx5TIcU6t2NISoJk2Q+BQn+JvcvgMOmrSj7+Adc/Z25TL5dB8TDYUo5FqWa/t0bq6tUpgdCPvlJgoB4uP3jb/QBPgBMId9LBMfCWkVOTqS4RixkfQWWlPOZQjvuhKmqemch4vFs5V0JhnnWJ4N+LhwyA236bo/mQwwPtHzcE/v3Nkr0no4HPX7+c5ux8IfyeZv+BYYB6YQbsaAhbpBu4c87MV2reZoaBEN3aIzs0RDeUBDZJmWPmAiJgNTNeD3P8TCNNHFw4ZExsuzDLxFjMqKzJZSiZbL4ZcX5TSzwslxOSzeBBmO9zCizLrdmHKF428egg+sJ72qshmSCTLDASsVRQakhFxGzTN+hO40lQcw8jH5RCYnUNBA0ZQViKQk5IJrjYQXHnn++a7/AUfYJCAAAAAAAQAAAAIhSI3UqV5fDzz1AAID6AAAAADb/8ZbAAAAANzIUZj8TP5nBWQEFwAAAAYAAgAAAAAAAHjaY2BkYGD69V+I4Rdr3x+fv3dYU4AiqIAHALWiBzMAAl0ACgDrAAAA6wAAAuIAAgLzABEC6AAvAun/9AOl/+0CVQAIAh4AIQIy/+4C6v/wAAAAUwBTAFMAiwDhAToBeAHfAi4CggK7AyUAAHjaY2BkYGDgYegA4iUMbGAeArAwMAIAHeMBUgB42o2QNVrFUBBGD+5S0eLubg3u7uVz9yTILqjYBrI6Sv5iPtyuzRlPBqjljhKKSqvED0VjxkUMFJUbF1PPs3EJazwZl76LKaONW+NyeogZ1zOF1SxCvbqMS2ikybhM9mrjchEckSWNnwybuJIp4gQ5JkxatERWlhDn0uNE1ctFVzuHwxzD2o7iC/LmcMVDOOKUZFbWqPz7rLHDMSfqcKH3iqzeMNeKH/zS6Ux6AdWQnqGFMYYYZVwUkJzW/WqZf60u+mefI+lRPLGfwmtWi+W1vGa2fMlclsxxQ+F1IvpKRrRH1UekO4oqyBeWfK3NGvonNCXxAQVpCUUEcaUv4knGZCsgPz1f5hxVP0UoLsAQQUWm0fRl0+yR9VW7JvLaqfcF9vNaxwAAAHjaY2BiAIP/mxiMGbABHiBmZmRiUGFkZmRhZGVkY2Rn5GDkZORiL83LNDBwNADTJmZGENocRptAxR2htDFUHEabQsWdAM4nFZ8AAAA=)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/lean-exposition-site/assets/stix-two-text-cyrillic-600-normal-kcc242MQ.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-cyrillic-600-normal-zdEMPwZf.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/lean-exposition-site/assets/stix-two-text-greek-600-normal-B4g_sZ5N.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-greek-600-normal-Cd_Bfzy_.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/lean-exposition-site/assets/stix-two-text-vietnamese-600-normal-DPFVgXT7.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-vietnamese-600-normal-BR32KHbT.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/lean-exposition-site/assets/stix-two-text-latin-ext-600-normal-BIZc76hK.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-ext-600-normal-cArr9DC0.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/lean-exposition-site/assets/stix-two-text-latin-600-normal-B8BS22os.woff2)format("woff2"),url(/lean-exposition-site/assets/stix-two-text-latin-600-normal-CdpSAr85.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-cyrillic-ext-wght-normal-c-5QAGAI.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-cyrillic-wght-normal-BMDVbyM7.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-greek-ext-wght-normal-BXZfsJY4.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-greek-wght-normal-Cc-u-6OI.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-vietnamese-wght-normal-BDs68eHQ.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-latin-ext-wght-normal-C8iNium2.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-latin-wght-normal-Bo_j9asI.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Sans 3 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-cyrillic-ext-wght-italic-F_qGh3gi.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Sans 3 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-cyrillic-wght-italic-BqzjwPnH.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Sans 3 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-greek-ext-wght-italic-DBLPjGyR.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:"Source Sans 3 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-greek-wght-italic-CXgqVJLg.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Sans 3 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-vietnamese-wght-italic-Obd_lscc.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Sans 3 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-latin-ext-wght-italic-B1mMy0tD.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Sans 3 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/lean-exposition-site/assets/source-sans-3-latin-wght-italic-DLiStKT6.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAASIABAAAAAACQQAAAQuAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbHhwoBmA/U1RBVF4AdBEICoRkhAALIAABNgIkAzoEIAWFAAeBFAwHG2oHKJ6DceNW4lJEFHn9tEOE37LNsvkjHr7f739rn3u+OSrSxLQytE91Dw2PYtNVq3Qaw/vJ7fUBMdOj/u2ImB98cT5WUx9F13ZKt06mU7tG1sAYcM26yCRX4f/0904bmwq8hwkUUMTRX61pa9C3xlpAGYw1vOu8C2SBZZFlld7DAW82RJWmwYMI1AJCKBNCIASqdZGFmtPSNQRhMpR0EKjWTwm6z6sJ+4jqhxjovTinVdRpZaQjaQzAYjI8NgAKDJCokgunCn9oUQE8VZd/F//+v6P4F1U9gLr58yNI/dJX9BAshEoJbTDogz7ocKoUsPvES8UK/aQIUQgpGgECBVLkOEV6iASTYgNAPKdNXayhDPL7IJuAZnEYSZ0eOLc9i5Rv5/+lEi3sW/kfnCf/+fTe0sxS7CKLx5erRJkKOixEqQaoqrvx5HN4iz4VhX0gS6DjFIWUzn/fIXJRVFY1NFRVNVeFt+SYmrK6vCU6eJsnKnJj5HTESMTQZOTI3Y/tzr3rUcOsiRy/ciP50s3Mycgxmhz9GMXhjzVH30ut796NHP0UUa31/Zoa6vCH6iPvdIM0IRANaT60FablmZlZd+UKNFy9NrvnFGxb5NC2CRxR0/rIyF/WNn+35sv9r+tHVhkseuWGKkCPPh96+GXt8Lc/Sh24ujfjf+tNw1lZWreiPuHb/PSpyjdv2rf/++ZE5TSKjFdZxYsBvr1sEHl5STuHZqYR7jGYGvGBBdjcaB5bODY1GAxMjsd0wDMIzXAXODRd74DxNMtO4YuYHclgLQRzp9KlUmxptCwv9bYgvWGD2xBW7r9413fdJu+mxzvzAUYeeONQvZP4kgfqZle4jhH/MWh+UbxgtJdrLdXLymNL53PRU0D3Q6FcXTfGqGcul6vrqhgLGAVSv+IVIfZOHpu+mlLqSlnj903j8mazXDsba/wbxhS/4Oubh1c5/uXDgt4j5KtnGEy5BIJHo0ur+jD+r2qCkuP1aRVM8EpUoRYSJyqNRA38uwDvHBNo0AejO2Z+ZYLLal1QiFyFh1EDQOgSCSCpjwwKU8yDbIjroEwne0G5Qca49cYp4AlqtQNZfWTQoFb1tRpFYAmRD+HXTkV4uQhG2bg4OKmyoypAsUGtWgQXyFxYrkpODeUxvGqIZA61erXo0sFG1UBGuPgpuon8RNUG2DhovAjZCBuZwtXrU3mQGki9+pm0eVZAXoWxLWTQoYHBPrJR4WunNxIFbCHfkTyPK+sqxjxDmGArZvf79JGJ3GwEqjwc7a7NIrl/7bJ7Nzu4+n1Ow6shEPnUrtVo7cnd5Wi5qCUbBIQbNKCP95FMCSZylEV5VCiiMqqiOmrKZ/I/C0gI1fyuulVcM2E1r4MhtcV/fbCD+HwEvVzH1dGNAzFE0FTbKzyQz3gootrNbN2a4PuG0j0JOgE=)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAbUAA8AAAAACOgAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABgAAAAcABQABEdQT1MAAAFwAAAAHgAAAB5EdEx1R1NVQgAAAZAAAAAnAAAAKLj8uOpPUy8yAAABuAAAAFEAAABgFwRca1NUQVQAAAIMAAAARgAAAF7mY9MfY21hcAAAAlQAAABRAAAAdAyHCodnYXNwAAACqAAAAAgAAAAIAAAAEGdseWYAAAKwAAAB6QAAAl7g5OpvaGVhZAAABJwAAAA2AAAANhSQ8UNoaGVhAAAE1AAAAB8AAAAkAcoBImhtdHgAAAT0AAAAHgAAADofBAM2bG9jYQAABRQAAAAgAAAAIATcBZ9tYXhwAAAFNAAAABwAAAAgAIcCb25hbWUAAAVQAAABEgAAAoA4pV3kcG9zdAAABmQAAABwAAAAlNdzMTB42mNgZGBg4GGAAEYgZAWTjCAeAAG0ABkAAQAAAAoAHAAcAAFERkxUAAgABAAAAAD//wAAAAAAAHjaY2BkYGDgYlADQiYXN58QBqGcxJI8Bj4GEGABEf//g0gAWkkFVQB42mNgYYpinMDAysDA1MUUwcDA4A2hGeMYjBgdgKIMDJwMUMDEzoAEvJyAxAEGXpaXzH/+XWFgYP7DqKPAwDj//nWgSjWmW0BZBQZWABNDDdYAAAB42kXIIQIBARQFwHl/QQIkWXInUAANXMOBJCcTd+KIGCjMNViq9/H0CM6P/S0j0bOwUqh08iEb8kPTXn3RiMoYhD90Nwc3AAB42lXIRwHCQBAF0JceehWAlTjhjikUgAVQA4mJLbdk5neUqHBVKWSv3XF2VCnt3AyevkVZv+sxBBbbq/6HfFP4hEcYQgEK82v1aHQ5RTs3FRQAAAAAAQAB//8AD3jabZA1tNRAFEDfTGDdfXHI2QQnZJJvK5ngDs13Welwt/78CtcS7xvcrcHKbXCtceh+wgtu437nXRCgC4BY9AGOXOAFYNHR0dzoKCGju8gJ6xiZaF3DWqcPBiSV5i2geaCgAlAJ77ghgjfiLC7KojvOZEmSXS63emXr5W7lsTLtXFMkRmks4ly+cYOEnvO2YLDNANv+9oJwhkpAAJAcHPG/1RC2BERc1ZGGMxYVWDyVSjc0NMaZELUf9e4JhCgNB3b2PiJRctuqZ0WPR8zilxutN/ji97vUBYMAnGjtzxjtK3wrDaMABo+R9KjWwNRUMppwuWS1QdfFZCIlMF2TxDGuJJlYW7OmVlvD+sx86b1hvC/l8yXf2hqZ66xbZ80yWzyD9/fzGaRzA58+nSOzYC+gw9AP+vyNqUAUhoD4lSnputbgUFPJ5O9Y+ReWlxkrc96naX08b3zk/KORb+E+VjYPmH1M6+UHeVlDtCzzGZ9FY8YMA8gPMsQA0jqaGkHT6cYSdVwl7Zs9Wzx+DyWUugPujd03T52ikrUvM26kF9PIcRmycuDBKcd3XRhPDgtnQACINzJ3fVl1tTB++3bc2S7kyD3cCQIQNMcSKaY2YOciE+d0zFbGjps6u0PILTFlRZHNJfAFnfeHtgAAAAABAAAAAjYEro52gl8PPPUAAwPoAAAAANvSppoAAAAA29rQ8vk5/tQEkgP8AAAABgACAAAAAAAAeNpjYGRgYP7z7woDA8uGn5Z/+1kmAUVQAR8Ar8AG6gB42mOKYIgCYiMkrAzCUHEbJJoBikHgCkMPAPDwCFUAAAAAABoAOwBGAFEAbwB3AKkAsQDmAQkBCQEJAQkBFgEveNpjYGRgYOBn3MGQx7CFgQ3MQwBmBiYALRoB+HjajJADbgVQEEXPZ20bQW3bthvXbr8Vp4to1KV0AV1Wb9JvZzJvzhvcB6CQL0wYzHnAj6E/yAYaDeVBNlJsMAfZxCy/QTbTy3eQLdTzGWQr3VwGuZhx2v/ZAIVUB9kc0TSUKJ8f5FIRHGPjnWs+2MKt+MYzt1xwr/jIk3JymR0X0wzIXKo7VbXjFvfLn3lTtCn7qPoB6+yyzb3qy8pdq/6hrj11fMj7OFbtEY+mrlU/516rVFCdVobplw/JEjVaCaqIYlUiUzOaW9aa/Q1idmlPXZHbCagW/B10XwaRi06VuVdMf+9DnIov6rlF8yzhUXxC/4c66Uz48UepqEN9N/Tzt2RwjOljsUUfj581AbaEXsIAAHjaY2BiAIP/qQxGQIqRAR3wA7EKw0lGJgYbRmZGFkZWRjZGdgZmRg5GTkYuRm42x6Si1LJU9tK8TAMTR1cI7WoB5btB+Zas6Ym5uYlgnoGjAZNzEF9icmlJanJ+bpJecmJxKg9IxtjADMwBAKDtHJg=)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/jetbrains-mono-cyrillic-400-normal-BEIGL1Tu.woff2)format("woff2"),url(/lean-exposition-site/assets/jetbrains-mono-cyrillic-400-normal-ugxPyKxw.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/jetbrains-mono-greek-400-normal-C190GLew.woff2)format("woff2"),url(/lean-exposition-site/assets/jetbrains-mono-greek-400-normal-B9oWc5Lo.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA9UABAAAAAALMAAAA7zAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGnAbhWocghYGYD9TVEFUXgCDBBEICrBAp3ILgjgAATYCJAOEKAQgBYUAB4xODAcbIiYzo8LGAQCKfn4o/usELQ4rdj22ABHwitFYjZPqB3XSqAbV3C5dFkHYtTehxpeGbU+3+QexdERCkxARw9oNxAyetvXzdhdjl/7aiBiHgcqBjZywaGPSh4mNFccpF3DHlfyO8Jc/OiSe/kb7/iQYRAE23iScpHngiRRBFETNiZzQwc2HOllJ0fqXIjTY8RTYbDsklKc81hGPQcOJojhD/w80ll1aG/qiQErbzqOXjmvOVKd14tuv+Hxrlbarq/5xH7CiMPjaZXlrfNSp7uqaroZXvYAzc8A0kH2zs3MvHQBUORcJ2GG2cdFRgArh+Sgb7yOsjImpmgM0kq1FwhQCQzQ1Mt+j7at5GSAAIQAAKFLk6uMul4pIl4HIpEEUK0dUMiCMmhFWNoSDC+Exghgzi5i3hNhtN9qaINo+EbQj1tEIgJVLj5oebQ6I1/fyLMQYALYgALKS0yEOQCJG89uIiEPKyeRDVCmC0HgZ203jIg7kk6cHxfEKeBSDXtxd6n5yJzqpfSgXs9xMri1fPezlKMAVcCGEIhmwHiDRtJOyKfXkGsAVqI7ohIZs0rsDM/IU4fuQgkppCk2n+VRHy6mFttJ26t16mBjQPyIeYhvZnyXaiDSeaAYYXLiKPIm4uKh1zIq6gSRVU7WNPIV5v1PwBOy07RrrT6skwoEAtYyZeYgpBUABaDEmtPWRGP/UGABFgUUjchFXAghAgAYQpyPkCIBBoRwQgU/g3kQcyqTY9KSDItmjjmmkP+qJHG3C66hjXhtlhzwglI+1+4Be+T77hYQxxeNkCIDaKU+ANXhkMqePOVAQr7uwCjoBlCdtHQE8TNRd17//A/evkhSpkOMDA9VTmwAVAbLNlwMkoAG5qG2bWCYA/h3uEYgEhFqSmJJPpCIFbJHg1Aw5GaAujjqMzIHc8NrIHBEJJjGZP3cuFQZD9PvzLvZIaCIjBcTvEnIzTWiGjqdzlD+VAO2TUERK8smEi8lNNOguiAM9P6Gfo6bX8bD0v7V/cPwA/fDBi0BaGgUllWy5AATy6X9gAZqRVIsMLuVmqQ3QmrBbiFgTiWbxLDj1hBqINGLVYewQwySWWRyeQK1kXVJ0S2UjZ5WgXaIOSTodp42CUzqHXH226ZfJI4tXth45eqnslGdQgSGFhmmMyOdTbEyJcdv56U0pNa3MDJ1JVRZUmldtkcESglQkAOA8AMgAoBeYLQi+wDxAtwAAGlXJUdVLPLmo/TLRystE3SsqO29LUY0hsrtvBoXUw1Fy+XjIhqbj4rEZISsUysW1L68PlGRwyWImjWXjS9LFyUzjC7v7Z5hYsYKRhIH49EyxTJxutwOy2PRxp1R63SVViB+eNFYRywlEzJBIMDIl5Aa4PtbFOno416WTTkfVQwSPgIve66BCbLAuLmpCh59ln5uFECODSuUIJ2CJCCzDwbf+DV2/3yTtan5J1gEVuilcVASHULO9Bt+nWkIEHMMit5gOxaO4JpWjvdzOcySeFek9q4dy3jxi2BxHwsuuo2CzbQ+KJWxyqPUJljVCU3WT8JwlhZyLkKODRhZkQByHu8ERJIcGBexSmdwGPfMPbjnC0SwRUTyCAIwY4Mdr9zxJTKE5yp0mcEe9s3Umm/TZp2s4X/27cQUmhrd4Ow4ibPOTOxxT6w+S8ENc9AGE7meFOlNbuzjngJtzjFKcrMsxtf4G4UIPcNGXbvwNaeDea6+1L7kaYG+M13a455pruOh5Ww0HlhllPy/PsqS9Zr7ZV9cSLODAoItzBt2cI5i1brCxQRIcH6yr9wV5+XjhtlxuziH7LiqGTXVnkfCZntd1doJ5liyIno6X3GqH56fcnGNwE2IXvYhw5a/MJGsMns/TOawd+2HX5kOXxQZFsYkwmMetzGtqKDKSe+h9h7jX77z2Snb98vyL7rjmil1N3B/cCBfsC5rymA/ExpPlni/DL9i7eflmn66oxrSlMRRB/8Dbq/e/3aN95L3BG+dFd1d+uCVzKhQy5/+I77CmWJ/o2Hygaay8yleXU1c1NH2IpqHOYUtriyWHf3iZwxjZvNxm/Ti/O5+22uC3nVFxhu1wvQc08ZZ+nb5/9oBF38ehJXaKPt7K6/v34Ltqai21rbXDXI3BRDa+9XDSGp8gzZZarV2ag9v3RBzSNfFjU/M+uVduNDTsMNY0GCOHDU3O4dazeb3zFXjg0rlPuiV75+m+kzV3v5qc/PHdJ2j6pI+wDP+U7mFPW/uw23ltZemTVTo+3+KNa1yyuwdmfI41j1/yvbG3oaLR3G3Sd1xdrNOUfAou3jYw0z860D9jr+9sqU1IIHve9W56/fIEU2fztvaqHQ213trhKauqjXVmr/kFxP1m7bdCE88Plpb1m840l/VNQz72QvvMPlc5z9fvKPt1xBtXv9yVZ9nGmxscXiDfwGcI4LQ9duBaG7Nxjw2aWMuArp7In2qxObTwKfr40/iy/j34zhqeN59qHuZqDBaysQWiL/PZsk4cyV13mvbwWw7phfEDC/O+fm9/ram+sspcXxs5hm9pHjufSujGRbKXaTPmBAPPfMm45bau15+jR/bbBx80mR7sCth94rfB6Q6sngJcuO1v4a7Lu157ad9GKIlypuEea9GDnXs0IytDmZ2Rka2cVv4jrIHmaFZ3O9OWlWX7gLuRH1mMjsxE8VrEH/XNRrErsh61R6PD3e2d7dDsb3Z38k15W/kFkrwmHk+PhWNKx3nLMhHkSl5ZLMvHWPGPfwRB9AKr2QoSUb4qSlB18X715zkqwRI0G3lvUOptugtcID+tsKQForrC+pqxS4X1dcof21bf4OQcbZ2Le6y53kKao3rxNWE9f1a+S3t2tiIu5yej2d/W12RozBwrLh7LbDT0NkUDi+HBQPj0xIlAoKHFFxAMPB8Vce+KKo28Rq0SHV3LUk6MNLv35DMrCzVNmbxBeCGCKzMtu20y8f+SVD4h31Sosky03Upl9YJxzh+L0ZFANLR4LOpYj452tne145E/wok2e6JX/xBX/vH8WaFQojdWlrhzuOXjs1Zn3cCkT4qWSmZeqX/B4tciE4HBmUBZwGxtMDaqnCpdllPVaIzdNw9ZqfDU30ppYDgw2B+A5JP5L8bj4tgWoy/t6WRRcO2P8uFDakiP2fMWaviyaOYFr94gE0nEsXysWligOuHRC2TiH0XSJ/4WqQcjE4GxmUAocKlG+jECgZHFwGX8vabVzf8f4KQSi8Gp6laIdgV0q8OzbmjyaWdnW1MQXZoJDb7ZaEdzVzMoNQiAGESUwszDAIzTDIqSxGFoxoRZ/vTKM8CfyZ9V/ZAPfzZ/Ds4tMHm0dSxCkOPaNpKlK8/KwGQVCdzqbPDn1HKuiT8WHUnStEQYZB2TC6WJ6spymNIjBV7JK5lSs1C5qDoRSYBUSlgH31LlM7X5O4o8eBxrX3MDwtOG1iZdZ/NjXsu0gBJohRVmlQNfwVfQmsReAdZEAahljqkMaxLHg/gT+BONkwxcgT0CH/5k/pQrcCpMUYiGtPqbDGvVgALfitYyTHyI7iP25WqsSqAlstCbcmZ3k0PcRZlgbs0KCrwb7lImBTqQCCawVEpMWHur0DRm3+9sVAOK6UQiqESr8NaEtY8Vu86AIjK3KRZhXNwqD34Oc38umLZM7/33+38/uOj7///Z9yMAAHqAUtN3Bsa/l9rSiKVxlONqqbKozYWfYMRMRkicEE2FhIs4TuWQJL0RDNwCPy0hP1CbGAVY9Mb6W+DZ2p14CIQoIBjqGKpe6lOONhDJTUFBXMgZYOPct8C7Ffmf2jR2ksQ72U7f6SBu5gywoW8x2Qhy1APl1CZGAQ4ksGGD8loGsjY0UQKXmhdvpBboCNglmiU2XUCieL2dF1bDaTacoykaTjgFAhquyoFkiSk0LZyooeM7gQDVIlmNOwCPlICNKQpatkhBhUQJpdLCVwFqWj3FQ8sWeajTWbJiLeRJQlRmsyh1YLRZtAzVNr0dAoCqYN6wXLhzQGL8LY6mvwSAd1698ly88s2Xfwa7FbVA/wsgBhQAgABfG3dQHs2o/066DhB0wWo68NIlpR8Rtqkj9flbwtMc3oZyWoIn3n+L86o5vA1V8ng6L4C9+Ax3YgMBHN8Er4rV97ZRXgdo2vF244hH35wAzlOM0Y1BABGNnNCZ4UFNPID7U9KeSCgiP5EiDnMizejpExlFzj9RIM2BE2MU8pwgViH7TAQQSqpgnDuJJAk2kHIaYDNnhs+sFsvBuaf5DXMbXT9uwvLIbk49b4mBNm3JsEV+85YtKUHWb5rT5ywap9WpUZtWo6q5Fot8W89a0m4OaXOK2Ywat2KaD3NdRi1S/+eloldCT0fn1K5q61Mpa6eaNrKMB6WMQqn83IfXmTNv1eIRiaKj7aOsikMmoxej+EfqsmjOpFHDLnneylGLQxT66vnHnh/n12VXDN1Hw6/bcNpctWo3vrwApZvfrdEDiP8IzgPkeiYUoQlzDvYWB0cnZ6uLq5t7+aRk5I6TIFGS5IqkSJWWXjqFDEqZVLJky5FrG7W8quQrUEijSLESWtsz0tErVVa9chUqValmUMNoh1omZjxSM4s69Ro0atKspTe1smrLpl2HTl262dg5OLm4eezMw6tHrz79BgzyGarXsBGjxqJtJvhNmjJtxqw58xYsWrJsxS4Bu61aE7THXvvsFxJ2wEERhxx2xFHHrIs6fuE/r+1vm6/8jhhtDCwnASDGR1h4SGhYwEGU1Y/Xffk5G4u9XgIAYtxyGpZ5y9sDdNbyP142W5DgAhoE7i3q0c5x2vm9v24aZuNohdcxqSEAz8up00My03HSwmqPa8bMecG3Tjzb+f9EelEtg2vpzPeiIEEBwSA8IEDBwAE9F5Z6vQIQjAnLGTgWLO+uZTL/qwGEAYOAQpg3TefgwBCQgBDzqukKDBAOoU3KVtqIbBXK9XpEAAujuudkZN724kIGmrtVaS38ZZLrS9/4fsKMQhN3yXK5gvSBvJ2Y9/Nydbcvb0bm58+e3FhmGfGLJ9u7axl1F1LQTbaCeyrbu7wFCsorFgV4qnh+GUrWtaczqkSBB96AEeKRB94k2SyLuyw3qwrxeg3P5FNR1Av1Gsq2/ds6dPPkBAAA)format("woff2"),url(/lean-exposition-site/assets/jetbrains-mono-vietnamese-400-normal-CqNFfHCs.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/jetbrains-mono-latin-ext-400-normal-Bc8Ftmh3.woff2)format("woff2"),url(/lean-exposition-site/assets/jetbrains-mono-latin-ext-400-normal-fXTG6kC5.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/lean-exposition-site/assets/jetbrains-mono-latin-400-normal-V6pRDFza.woff2)format("woff2"),url(/lean-exposition-site/assets/jetbrains-mono-latin-400-normal-6-qcROiO.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--font-serif:"STIX Two Text", "Iowan Old Style", "Palatino Linotype", Georgia, serif;--font-sans:"Source Sans 3 Variable", "Source Sans 3", -apple-system, "Segoe UI", Roboto, sans-serif;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--fs-micro:.6875rem;--fs-xs:.75rem;--fs-sm:.8125rem;--fs-ui:.875rem;--fs-base:1rem;--fs-card:1.0625rem;--fs-read:1.125rem;--fs-h4:1.0625rem;--fs-h3:1.25rem;--fs-h2:1.5rem;--fs-title:1.625rem;--fs-h1:2.125rem;--fs-plate:clamp(1.75rem, 1.3rem + 1.1vw, 2.25rem);--fs-display:clamp(2rem, 1.35rem + 1.9vw, 3rem);--lh-tight:1.16;--lh-snug:1.32;--lh-ui:1.45;--lh-read:1.62;--tracking-caps:.075em;--measure:40rem;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:24px;--space-6:32px;--space-7:48px;--space-8:72px;--radius-s:4px;--radius-card:7px;--radius-m:8px;--radius-l:12px;--ease-out:cubic-bezier(.2, .7, .2, 1);--ease-move:cubic-bezier(.45, 0, .2, 1);--ease-exit:cubic-bezier(.3, 0, 1, 1);--t-press:.12s;--t-hover:.12s;--t-state:.16s;--t-reveal:.18s;--t-panel:.2s;--t-camera:.32s;--t-unfold:.36s;--t-trace:.52s;--topbar-h:56px;--bar-h:52px;--panel-w:clamp(440px, 34vw, 560px);--dock-h:152px;--dock-bar-h:44px;--target:44px;--reader-measure:42.5rem;--reader-outline:208px;--reader-inspector:336px;--reader-gap:32px;--ground:#f8f0e2;--surface:#fffdf7;--raised:#fffefa;--sunk:#f1e7d4;--rule:#eaddc9;--rule-strong:#d9c7ae;--ink:#191520;--ink-2:#544d5d;--ink-3:#6d6473;--rule-control:#938067;--lit:#a25200;--lit-wash:#fae4c7;--lit-line:#c9761a;--lit-glow:#c9761a00;--focus-ring:2px solid var(--lit);--fail:#a04034;--rel-supports:#7c858f;--rel-supports-lit:#b8650c;--rel-assumes:#8a6cc8;--rel-assumes-lit:#6d3fd4;--rel-formalizes:#3f8aa0;--rel-formalizes-lit:#0b6f86;--edge-rest:var(--rel-supports);--edge-strong:#47505b;--edge-lit:var(--rel-supports-lit);--edge-casing:var(--ground);--edge-w:1.5px;--edge-w-lit:2.25px;--card:var(--raised);--card-border:#d4c7b4;--card-shadow:0 1px 0 #19152008, 0 2px 6px -2px #19152014;--card-shadow-lift:0 1px 0 #1915200a, 0 10px 24px -10px #19152038;--grid-dot:#19152016;--region-support:#396791;--region-scalar:#30715d;--region-circuit:#7e517a;--field-support:#e0ebf5;--field-scalar:#deeee8;--field-circuit:#f1e5ef;--formal:#46496d;--src-1:#2a78d6;--src-2:#e87ba4;--src-3:#008300;--src-0:#8a929b;--mark-mix:64%;--shadow-sheet:0 1px 0 #1915200a, 0 8px 28px -12px #19152038;--shadow-panel:-1px 0 0 var(--rule), -18px 0 40px -28px #19152047;--scrim:#f8f0e2db;--fam-page:var(--ground);--fam-surface:var(--surface);--fam-ink:var(--ink);--fam-ink-soft:var(--ink-2);--fam-muted:var(--ink-2);--fam-faint:var(--ink-3);--fam-rule:var(--rule);--fam-rule-strong:var(--rule-strong);--fam-accent:var(--ink);--fam-film-ink:var(--ink-2);--fam-serif:var(--font-serif);--fam-sans:var(--font-sans)}:focus-visible{--fam-accent:var(--lit)}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--ground:#1c1526;--surface:#272132;--raised:#2f2839;--sunk:#150f1e;--rule:#363040;--rule-strong:#484251;--ink:#f2e6d4;--ink-2:#bcb8c6;--ink-3:#a6a2b1;--rule-control:#787383;--lit:#fab250;--lit-wash:#3d290e;--lit-line:#f3a43a;--lit-glow:#f3a43a47;--fail:#ea8470;--rel-supports:#6a7581;--rel-supports-lit:#f3a43a;--rel-assumes:#7d68b8;--rel-assumes-lit:#b49bff;--rel-formalizes:#3f8698;--rel-formalizes-lit:#55c7df;--edge-strong:#a7b0ba;--card-border:#413b4b;--card-shadow:0 1px 0 #00000040, 0 2px 8px -2px #00000073;--card-shadow-lift:0 1px 0 #0000004d, 0 14px 30px -12px #000000bf;--grid-dot:#f2e6d40f;--region-support:#80b0de;--region-scalar:#79bba4;--region-circuit:#ca98c5;--field-support:#101d29;--field-scalar:#0d201a;--field-circuit:#241722;--formal:#a9aed7;--src-1:#3987e5;--src-2:#d55181;--src-3:#008300;--src-0:#6b737c;--mark-mix:60%;--shadow-sheet:0 1px 0 #0000004d, 0 12px 32px -14px #000000b3;--shadow-panel:-1px 0 0 var(--rule), -24px 0 48px -30px #000c;--scrim:#1c1526db}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--ground:#1c1526;--surface:#272132;--raised:#2f2839;--sunk:#150f1e;--rule:#363040;--rule-strong:#484251;--ink:#f2e6d4;--ink-2:#bcb8c6;--ink-3:#a6a2b1;--rule-control:#787383;--lit:#fab250;--lit-wash:#3d290e;--lit-line:#f3a43a;--lit-glow:#f3a43a47;--fail:#ea8470;--rel-supports:#6a7581;--rel-supports-lit:#f3a43a;--rel-assumes:#7d68b8;--rel-assumes-lit:#b49bff;--rel-formalizes:#3f8698;--rel-formalizes-lit:#55c7df;--edge-strong:#a7b0ba;--card-border:#413b4b;--card-shadow:0 1px 0 #00000040, 0 2px 8px -2px #00000073;--card-shadow-lift:0 1px 0 #0000004d, 0 14px 30px -12px #000000bf;--grid-dot:#f2e6d40f;--region-support:#80b0de;--region-scalar:#79bba4;--region-circuit:#ca98c5;--field-support:#101d29;--field-scalar:#0d201a;--field-circuit:#241722;--formal:#a9aed7;--src-1:#3987e5;--src-2:#d55181;--src-3:#008300;--src-0:#6b737c;--mark-mix:60%;--shadow-sheet:0 1px 0 #0000004d, 0 12px 32px -14px #000000b3;--shadow-panel:-1px 0 0 var(--rule), -24px 0 48px -30px #000c;--scrim:#1c1526db}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;-moz-text-size-adjust:100%;text-size-adjust:100%;scroll-padding-top:calc(var(--topbar-h) + 16px)}html,body,#root{height:100%}body{background:var(--ground);color:var(--ink);font-family:var(--font-sans);font-size:var(--fs-base);line-height:var(--lh-ui);font-feature-settings:"kern" 1;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0}.no-transitions *,.no-transitions :before,.no-transitions :after{transition:none!important;animation:none!important}h1,h2,h3,h4{text-wrap:balance;margin:0;font-weight:500}p{text-wrap:pretty;margin:0}a{color:inherit;-webkit-text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-underline-offset:.18em;text-decoration-thickness:1px}a:hover{text-decoration-color:currentColor}button{font:inherit;color:inherit}:where(a,button,[tabindex],input,select,summary):where(:focus-visible){outline:2px solid var(--lit);outline-offset:2px;border-radius:2px}::selection{background:var(--lit-wash);color:var(--ink)}.visually-hidden,.sr-only{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;position:absolute!important}.skip-link{left:var(--space-4);z-index:100;padding:var(--space-2) var(--space-3);background:var(--ink);color:var(--ground);border-radius:var(--radius-s);text-decoration:none;position:absolute;top:-48px}.skip-link:focus{top:var(--space-2)}.control{min-height:32px;padding:0 var(--space-3);border:1px solid var(--rule-control);border-radius:var(--radius-m);color:var(--ink);font-size:var(--fs-ui);cursor:pointer;transition:background-color var(--t-press) var(--ease-out), border-color var(--t-press) var(--ease-out), transform var(--t-press) var(--ease-out);white-space:nowrap;background:0 0;align-items:center;gap:6px;line-height:1;text-decoration:none;display:inline-flex}.control:hover{border-color:var(--ink-3);background:color-mix(in oklab, var(--ink) 4%, transparent)}.control:active{transform:scale(.97)}.control[aria-pressed=true],.control[aria-current=page],.control[aria-selected=true]{border-color:var(--ink);background:var(--ink);color:var(--ground)}.control--plain,.control--plain:hover{border-color:#0000}.kbd{border:1px solid var(--rule-strong);border-radius:var(--radius-s);min-width:1.5em;font-family:var(--font-sans);font-size:var(--fs-xs);color:var(--ink-2);text-align:center;border-bottom-width:2px;padding:1px 5px;line-height:1.3;display:inline-block}.lean{font-family:var(--font-mono);font-variant-ligatures:none;font-size:.86em}.region-dot{background:var(--region,var(--ink-3));border-radius:50%;flex:none;width:.62em;height:.62em;display:inline-block}[data-region=support]{--region:var(--region-support);--field:var(--field-support)}[data-region=scalar]{--region:var(--region-scalar);--field:var(--field-scalar)}[data-region=circuit]{--region:var(--region-circuit);--field:var(--field-circuit)}.caps{font-family:var(--font-sans);font-size:var(--fs-micro);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--ink-3);font-weight:600;line-height:1.2}.src-sq{background:var(--cat,var(--src-0));border-radius:2px;flex:none;width:.62em;height:.62em;display:inline-block}[data-slot="1"]{--cat:var(--src-1)}[data-slot="2"]{--cat:var(--src-2)}[data-slot="3"]{--cat:var(--src-3)}.cov-mark{background:var(--ink-2);border-radius:50%;flex:none;width:.6em;height:.6em;display:inline-block}.cov-mark--relied{box-shadow:inset 0 0 0 1.5px var(--ink-2);background:0 0}.cov-mark--outside{box-shadow:inset 0 0 0 1px var(--ink-3);background:0 0;background-image:linear-gradient(var(--ink-3), var(--ink-3));background-position:50%;background-repeat:no-repeat;background-size:60% 1.5px;border-radius:1px}.rel-sample{vertical-align:middle;border-top:2px solid var(--rel-supports);flex:none;width:26px;height:0;display:inline-block}.rel-sample--assumes{border-top-style:dotted;border-top-width:2.5px;border-top-color:var(--rel-assumes)}.rel-sample--formalizes{border-top-style:dashed;border-top-color:var(--rel-formalizes)}.rel-sample--lit{border-top-color:var(--rel-supports-lit)}.rel-sample--lit.rel-sample--assumes{border-top-color:var(--rel-assumes-lit)}.rel-sample--lit.rel-sample--formalizes{border-top-color:var(--rel-formalizes-lit)}.outcome{font-variant-numeric:tabular-nums;white-space:nowrap}.outcome--failed{color:var(--fail);font-weight:600}.outcome--passed{color:var(--ink);font-weight:600}.outcome--unavailable,.outcome--not_run,.muted{color:var(--ink-2)}.faint{color:var(--ink-3)}.num{font-variant-numeric:tabular-nums}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:1ms!important;animation-duration:1ms!important;animation-iteration-count:1!important}}:where(.fam-root,:root){--fam-page:var(--page,#f8f0e2);--fam-surface:var(--surface,#fffdf7);--fam-ink:var(--ink,#191520);--fam-ink-soft:var(--ink-soft,#342d3d);--fam-muted:var(--muted,#544d5d);--fam-faint:var(--faint,#6d6473);--fam-rule:var(--rule,#eaddc9);--fam-rule-strong:var(--rule-strong,#d9c7ae);--fam-accent:var(--accent,#29527b);--fam-serif:var(--font-serif,"Plectis Serif", "STIX Two Text", Georgia, serif);--fam-sans:var(--font-sans,"Plectis Sans", "Source Sans 3", system-ui, sans-serif);--fam-ease:cubic-bezier(.2, .75, .25, 1)}.fam-ladder{align-items:baseline;gap:.5rem;min-width:0;display:inline-flex}.fam-ladder__up{font-family:var(--fam-sans);color:var(--fam-muted);white-space:nowrap;transition:color .16s var(--fam-ease), border-color .16s var(--fam-ease);border-bottom:1px solid #0000;font-size:.84rem;font-weight:400;text-decoration:none}.fam-ladder__up:hover{color:var(--fam-accent);border-bottom-color:var(--fam-accent);text-decoration:none}.fam-ladder__up:focus-visible{outline:2px solid var(--fam-accent);outline-offset:2px;border-radius:2px}.fam-ladder__sep{color:var(--fam-faint);-webkit-user-select:none;user-select:none;font-size:.95rem}.film-slot{min-width:0;margin:0}.film-slot__frame{aspect-ratio:16/9;box-shadow:0 0 0 1px var(--fam-rule-strong);--play:46px;--film-chip:#120c18c2;--film-chip-solid:#15101b;--film-mark:#f8f0e2;transition:box-shadow .16s var(--fam-ease);background:#0d0a12;border-radius:10px;display:block;position:relative;overflow:hidden}.film-slot__frame>img{object-fit:cover;width:100%;height:100%;display:block}.film-slot__play{width:var(--play);height:var(--play);background:var(--film-chip);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);border-radius:50%;position:absolute;top:50%;left:50%;translate:-50% -50%;box-shadow:inset 0 0 0 1px #f8f0e24d,0 6px 16px -8px #08050ccc}.film-slot__play:after{content:"";border-left:calc(var(--play) * .27) solid var(--film-mark);border-top:calc(var(--play) * .165) solid transparent;border-bottom:calc(var(--play) * .165) solid transparent;position:absolute;top:50%;left:53.5%;translate:-50% -50%}.film-slot__time{font-family:var(--fam-sans);font-variant-numeric:tabular-nums;background:var(--film-chip-solid);color:var(--film-mark);border-radius:6px;padding:.14rem .45rem;font-size:.75rem;font-weight:600;position:absolute;bottom:.6rem;right:.6rem;box-shadow:inset 0 0 0 1px #f8f0e224}.film-slot--small .film-slot__frame{--play:34px}.film-slot--small .film-slot__time{padding:.05rem .35rem;font-size:.7rem;bottom:.4rem;right:.4rem}.film-slot--large .film-slot__frame{--play:56px}.film-slot .film-slot__caption{gap:.3rem;margin-top:.8rem;display:grid}.film-slot .film-slot__title{font-family:var(--fam-serif);color:var(--fam-ink);letter-spacing:-.005em;text-wrap:balance;margin:0;font-size:1.12rem;font-weight:400;line-height:1.22}.film-slot--large .film-slot__title,.film-slot.film-slot--large .film-slot__title{font-size:clamp(1.3rem,1.02rem + .62vw,1.6rem);line-height:1.16}.film-slot.film-slot--small .film-slot__title{font-size:1rem}.film-slot__title a{color:inherit;text-decoration:none;display:inline-block}.film-slot__title a:after{content:" ↗";color:var(--fam-faint);font-family:var(--fam-sans);font-size:.62em}.film-slot__title a:hover{text-underline-offset:.16em;text-decoration:underline;text-decoration-thickness:1px}.film-slot__title a:focus-visible{outline:2px solid var(--fam-accent);outline-offset:3px;border-radius:2px}:is(.film-slot:has(.film-slot__title a:hover) .film-slot__frame,.film-slot:has(.film-slot__title a:focus-visible) .film-slot__frame){box-shadow:0 0 0 1px var(--fam-accent)}@media (hover:hover) and (pointer:fine){a.film-slot__frame:hover{box-shadow:0 0 0 1px var(--fam-accent)}}.film-slot .film-slot__meta{font-family:var(--fam-sans);color:var(--fam-faint);font-variant-numeric:tabular-nums;margin:0;font-size:.84rem;line-height:1.4}.film-slot .film-slot__text{max-width:60ch;color:var(--fam-ink-soft);text-wrap:pretty;margin:.1rem 0 0;font-size:.95rem;line-height:1.55}.film-slot__frame--pending{color:var(--fam-ink);background:linear-gradient(var(--fam-film-ink,var(--fam-accent)), var(--fam-film-ink,var(--fam-accent))) 8% 0 / 30% 2px no-repeat, color-mix(in srgb, var(--fam-film-ink,var(--fam-accent)) 7%, color-mix(in srgb, var(--fam-surface) 70%, var(--fam-page)));box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--fam-ink) 12%, transparent);border-radius:8px;flex-direction:column;justify-content:space-between;gap:.35em;padding:7% 8% 6%;text-decoration:none;display:flex}.film-slot__frame--pending:before,.film-slot__frame--pending:after{content:"";pointer-events:none;border:0 solid color-mix(in srgb, var(--fam-ink) 40%, transparent);width:10px;height:10px;transition:transform .16s var(--fam-ease), border-color .16s var(--fam-ease);position:absolute}.film-slot__frame--pending:before{border-width:1px 1px 0 0;top:7px;right:7px}.film-slot__frame--pending:after{border-width:0 0 1px 1px;bottom:7px;left:7px}.film-slot__frame--pending>span{min-width:0;display:block}.film-slot__series,.film-slot__status{font-family:var(--fam-sans);font-size:.82rem;line-height:1.3}.film-slot__series{color:var(--fam-muted)}.film-slot__status{color:var(--fam-film-ink,var(--fam-accent))}.film-slot__name{font-family:var(--fam-serif);letter-spacing:-.01em;color:var(--fam-ink);text-wrap:balance;overflow-wrap:anywhere;font-size:clamp(1.15rem,.8rem + 1.2vw,1.75rem);font-weight:500;line-height:1.12}.film-slot--small .film-slot__name{font-size:1rem}.film-slot--large .film-slot__name{font-size:clamp(1.5rem,1rem + 2vw,2.4rem)}.film-slot:hover .film-slot__frame--pending:before{border-color:var(--fam-film-ink,var(--fam-accent));transform:translate(-3px,3px)}.film-slot:hover .film-slot__frame--pending:after{border-color:var(--fam-film-ink,var(--fam-accent));transform:translate(3px,-3px)}.film-slot--inline{grid-template-columns:minmax(8rem,11rem) minmax(0,1fr);align-items:start;gap:.4rem 1rem;display:grid}.film-slot--inline .film-slot__frame{--play:30px;border-radius:7px}.film-slot--inline .film-slot__time{padding:.02rem .32rem;font-size:.68rem;bottom:.35rem;right:.35rem}.film-slot--small .film-slot__frame--pending,.film-slot--inline .film-slot__frame--pending{justify-content:center;padding:6% 9%}.film-slot--small .film-slot__series,.film-slot--small .film-slot__status,.film-slot--inline .film-slot__series,.film-slot--inline .film-slot__status{display:none}.film-slot.film-slot--inline .film-slot__name{font-size:.86rem;line-height:1.15}.film-slot.film-slot--inline .film-slot__caption{margin-top:0}.film-slot.film-slot--inline .film-slot__title{font-size:1.02rem}.film-slot.film-slot--inline .film-slot__text{font-size:.9rem}@media (max-width:40rem){.film-slot--inline{display:block}.film-slot--inline .film-slot__frame{--play:40px;max-width:22rem}.film-slot.film-slot--inline .film-slot__caption{margin-top:.7rem}.film-slot.film-slot--inline .film-slot__name{font-size:1.15rem}}@media (prefers-reduced-motion:reduce){.fam-ladder__up,.film-slot__frame,.film-slot__frame--pending:before,.film-slot__frame--pending:after{transition:none}}@media (prefers-reduced-transparency:reduce),(prefers-contrast:more){:root .film-slot__play,:root .film-slot__time{-webkit-backdrop-filter:none;backdrop-filter:none;background:var(--film-chip-solid)}}@media (forced-colors:active){.film-slot__frame,.film-slot__frame--pending,.film-slot__play{border:1px solid canvastext}}.fam-sites{font-family:var(--fam-sans);color:var(--fam-muted);font-size:.9rem;line-height:1.5}.fam-sites__title{color:var(--fam-ink);margin:0 0 .4rem;font-size:.9rem;font-weight:600}.fam-sites__list{flex-wrap:wrap;gap:.25rem 1.4rem;margin:0;padding:0;list-style:none;display:flex}.fam-sites__list a{color:var(--fam-ink);border-bottom:1px solid var(--fam-rule-strong);text-decoration:none}.fam-sites__list a:hover{color:var(--fam-accent);border-bottom-color:var(--fam-accent)}.fam-sites__list a:focus-visible{outline:2px solid var(--fam-accent);outline-offset:2px;border-radius:2px}.fam-sites__list [aria-current=page]{color:var(--fam-muted)}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/lean-exposition-site/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/lean-exposition-site/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/lean-exposition-site/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/lean-exposition-site/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/lean-exposition-site/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/lean-exposition-site/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/lean-exposition-site/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/lean-exposition-site/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/lean-exposition-site/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.1"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}.prose{max-width:var(--measure);font-family:var(--font-serif);font-size:var(--fs-read);line-height:var(--lh-read);color:var(--ink);font-variant-numeric:oldstyle-nums proportional-nums;font-kerning:normal;-webkit-hyphens:auto;hyphens:auto;overflow-wrap:break-word}.prose>:first-child{margin-top:0}.prose p,.prose ul,.prose ol,.prose blockquote,.prose table,.prose pre,.prose figure,.prose .math-display{margin:0 0 var(--space-4)}.prose p+p{margin-top:0}.prose h1,.prose h2,.prose h3,.prose h4,.prose h5,.prose h6{font-family:var(--font-serif);font-weight:500;line-height:var(--lh-tight);color:var(--ink);font-variant-numeric:lining-nums;-webkit-hyphens:manual;hyphens:manual;text-wrap:balance;scroll-margin-top:calc(var(--topbar-h) + var(--space-4))}.prose h1{font-size:var(--fs-h1);margin:0 0 var(--space-3);font-weight:400}.prose h2{font-size:var(--fs-h2);margin:var(--space-7) 0 var(--space-4)}.prose h3{font-size:var(--fs-h3);margin:var(--space-6) 0 var(--space-3)}.prose h4,.prose h5,.prose h6{font-size:var(--fs-h4);margin:var(--space-5) 0 var(--space-2)}.prose h1+h2{color:var(--ink-2);margin-top:0;font-style:italic;font-weight:400}.prose a.anchor{height:0;scroll-margin-top:calc(var(--topbar-h) + var(--space-4));display:block;overflow:hidden}.prose [id]{scroll-margin-top:calc(var(--topbar-h) + var(--space-4))}.prose p.run-in>.run-in__lead{font-weight:600}.prose p.run-in:is([data-run-in=theorem],[data-run-in=proposition],[data-run-in=lemma],[data-run-in=corollary],[data-run-in=definition]){margin-top:var(--space-5)}.prose p.run-in[data-run-in=proof]>.run-in__lead{font-style:italic;font-weight:400}.prose p.run-in:is([data-run-in=question],[data-run-in=answer])>.run-in__lead{color:var(--ink-2);font-style:italic;font-weight:600}.prose a{color:inherit;text-decoration-line:underline;-webkit-text-decoration-color:color-mix(in oklab, currentColor 35%, transparent);text-decoration-color:color-mix(in oklab, currentColor 35%, transparent);text-underline-offset:.18em;text-decoration-thickness:1px}.prose a:hover{text-decoration-color:currentColor}.prose a.companion{-webkit-text-decoration-color:color-mix(in oklab, var(--lit-line) 70%, transparent);text-decoration-color:color-mix(in oklab, var(--lit-line) 70%, transparent)}.prose a.ext:after{content:"⁠";background-color:var(--ink-3);margin-left:.1em;padding-left:.62em;display:inline;-webkit-mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'%3E%3Cpath d='M3 9 9 3M4.5 3H9v4.5' fill='none' stroke='%23000' stroke-width='1.6' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") 100% .12em/.62em .62em no-repeat;mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'%3E%3Cpath d='M3 9 9 3M4.5 3H9v4.5' fill='none' stroke='%23000' stroke-width='1.6' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") 100% .12em/.62em .62em no-repeat}@media (forced-colors:active){.prose a.ext:after{content:"⁠↗";padding-left:0;-webkit-mask:none;mask:none}}.prose .link-unresolved{border-bottom:1px dotted var(--rule-strong)}.prose .math-nobreak{white-space:nowrap}.prose .math-nobreak>.katex{white-space:normal}.prose .math-nobreak--whole>.katex{white-space:nowrap}.prose .katex{text-rendering:auto;font-size:1.05em}.prose .math-display{margin:var(--space-3) 0 var(--space-4);padding:var(--space-1) 0;scrollbar-width:thin;-webkit-overflow-scrolling:touch;display:block;overflow:auto hidden}.prose span.math-display{margin:var(--space-3) 0}.prose .math-display>.katex-display{text-align:center;margin:0}.prose .math-display>.katex-display>.katex{max-width:none;display:inline-block}.prose .math-display[data-fit=wrap]>.katex-display>.katex,.prose .math-display[data-fit=wrap-tagged]>.katex-display>.katex{white-space:normal;display:block}.prose .math-display[data-fit=wrap-tagged]>.katex-display>.katex>.katex-html>:is(.katex-tag,.tag){text-align:right;flex-basis:100%;position:static}.prose .math-display[data-align=start]>.katex-display>.katex{text-align:left}.prose .math-display .math-seg{display:contents}.prose .math-display:is([data-fit=wrap],[data-fit=wrap-tagged]) .math-seg:not([data-open]){flex-wrap:nowrap;align-items:baseline;display:flex}.prose .math-display[data-fit=wrap]>.katex-display>.katex>.katex-html,.prose .math-display[data-fit=wrap-tagged]>.katex-display>.katex>.katex-html{flex-wrap:wrap;justify-content:center;align-items:baseline;row-gap:.45em;display:flex}.prose .math-display:focus-visible{outline:2px solid var(--lit);outline-offset:2px}.prose .tex-fallback{font-family:var(--font-mono);color:var(--ink-2);background:var(--sunk);border-radius:var(--radius-s);white-space:pre-wrap;padding:0 .3em;font-size:.82em}.prose .tex-fallback[data-display=true]{padding:var(--space-2) var(--space-3);margin:var(--space-3) 0;display:block}.prose ul,.prose ol{padding-left:1.4em}.prose li{margin:0 0 var(--space-1);padding-left:.15em}.prose li>p{margin-bottom:var(--space-2)}.prose li::marker{color:var(--ink-3);font-variant-numeric:lining-nums tabular-nums}.prose table{border-collapse:collapse;max-width:100%;font-size:.94em;line-height:var(--lh-snug);font-variant-numeric:lining-nums tabular-nums;display:block;overflow-x:auto}.prose th,.prose td{padding:var(--space-2) var(--space-3);border-bottom:1px solid var(--rule);vertical-align:top;text-align:left}.prose th:first-child,.prose td:first-child{padding-left:0}.prose th:last-child,.prose td:last-child{padding-right:0}.prose thead th{font-family:var(--font-sans);font-size:var(--fs-sm);color:var(--ink-2);border-bottom-color:var(--rule-strong);vertical-align:bottom;font-weight:600}.prose tbody tr:last-child td{border-bottom-color:var(--rule-strong)}.prose blockquote{padding-left:var(--space-4);border-left:2px solid var(--rule-strong);color:var(--ink-2);margin-left:0}.prose hr{border:0;border-top:1px solid var(--rule);margin:var(--space-6) 0}.prose code{font-family:var(--font-mono);font-variant-ligatures:none;font-size:.84em}.prose pre{padding:var(--space-3) var(--space-4);background:var(--sunk);border-radius:var(--radius-m);line-height:var(--lh-snug);-webkit-hyphens:none;hyphens:none;overflow-x:auto}.prose pre code{font-size:var(--fs-sm)}.prose strong{font-weight:600}.prose figure.paper-figure{margin:var(--space-6) 0}.prose .paper-figure__art{width:100%;display:block}.prose .paper-figure__art:empty{min-height:0}.prose figure.paper-figure figcaption{margin-top:var(--space-3);font-family:var(--font-sans);font-size:var(--fs-sm);line-height:var(--lh-ui);color:var(--ink-2);font-variant-numeric:lining-nums;-webkit-hyphens:manual;hyphens:manual}.prose figcaption .katex{font-size:1.08em}@media (max-width:700px){.prose h1{font-size:1.75rem}.prose h2{margin-top:var(--space-6);font-size:1.375rem}}.fig{--fig-ground:var(--ground);width:100%;max-width:40rem;color:var(--ink);margin-inline:auto;position:relative;container-type:inline-size}.fig-plot>svg{width:100%;height:auto;display:block;overflow:visible}.fig-plot svg *{vector-effect:non-scaling-stroke}.fig-axis,.fig-axis-tip{stroke:var(--ink);stroke-width:1px;fill:none;stroke-linecap:round;stroke-linejoin:round}.fig-curve{stroke:var(--ink);stroke-width:2.25px;fill:none;stroke-linecap:round;stroke-linejoin:round}.fig-guide{stroke:var(--ink-3);stroke-width:1px;fill:none}.fig-guide--dashed{stroke-dasharray:5 3}.fig-guide--dotted{stroke-dasharray:1 3;stroke-linecap:round}.fig-chord{stroke:var(--ink-2);stroke-width:1px;fill:none}.fig-subject{fill:var(--lit-wash);stroke:none}.fig-mass{fill:var(--ink);fill-opacity:.15;stroke:none}.fig-open{fill:var(--fig-ground);stroke:var(--ink);stroke-width:1.25px}.fig-dot{fill:var(--ink);stroke:none}.fig-plot{font-family:var(--font-serif);font-size:clamp(11px,2.4cqi,15px);line-height:1}.fig-label{--gap:.32em;white-space:nowrap;pointer-events:auto;position:absolute;transform:translate(-50%,-50%)}.fig-label .katex{font-size:1.1em}.fig-label--above{transform:translate(-50%, calc(-100% - var(--gap)))}.fig-label--below{transform:translate(-50%, var(--gap))}.fig-label--left{transform:translate(calc(-100% - var(--gap)), -50%)}.fig-label--right{transform:translate(var(--gap), -50%)}.fig-label--above-left{transform:translate(calc(-100% - var(--gap)), calc(-100% - var(--gap)))}.fig-label--above-right{transform:translate(var(--gap), calc(-100% - var(--gap)))}.fig-label--below-left{transform:translate(calc(-100% - var(--gap)), var(--gap))}@container (width<=500px){.fig-endpoint.fig-label--above-left,.fig-endpoint.fig-label--above-right{transform:translate(-50%, calc(-100% - var(--gap)))}}.fig-tick{--gap:.5em}.fig-words{font-family:var(--font-serif);color:var(--ink)}.fig-masked{background:var(--fig-ground);padding:0 .25em}.arch{font-family:var(--font-sans);text-align:center;font-size:clamp(13px,2.3cqi,14.5px);line-height:1.32}.arch-row{grid-auto-flow:column;column-gap:clamp(8px,4.4cqi,28px);display:grid}.arch-row--3{grid-template-rows:auto auto;grid-template-columns:repeat(3,minmax(0,1fr))}.arch-row--2{grid-template-rows:auto auto auto auto;grid-template-columns:repeat(2,minmax(0,1fr));column-gap:clamp(10px,7cqi,40px)}.arch-col{display:contents}.arch-box{border:1px solid var(--rule-strong);background:var(--surface);min-height:4.6em;color:var(--ink);flex-direction:column;justify-content:center;gap:.1em;padding:.55em .7em;display:flex}.arch-box--view{border-style:dashed;border-color:var(--ink-3);background:0 0}.arch-box--record{border-color:var(--region-support);background:var(--field-support);min-height:3.6em}.arch-box__title{font-weight:600}.arch-box__body{color:var(--ink-2)}.arch-box__line{display:block}@container (width<=500px){.arch-box__line{display:inline}.arch-box{padding:.5em}}.arch-box .katex{color:var(--ink);font-size:1.08em}.arch-inset{margin-inline:2.5%}.arch--accounts .arch-box--view{min-height:5.2em}.arch--ingredients .arch-box--view{min-height:3.4em}.arch-flow{color:var(--ink-2);flex-direction:column;align-items:center;padding:0;display:flex}.arch-flow__stem,.arch-flow__shaft{background:currentColor;width:1px}.arch-flow__stem{height:.75em}.arch-flow__shaft{flex:1 0 .6em;min-height:.6em}.arch-flow__note{color:var(--ink-2);flex-direction:column;padding:.3em .2em;font-size:1em;display:flex}.arch-flow__head{fill:currentColor;width:9px;height:9px;margin-top:-1px;display:block}.arch-flow--up{flex-direction:column-reverse}.arch-flow--up .arch-flow__head{margin-top:0;margin-bottom:-1px;transform:rotate(180deg)}.arch-flow--dashed .arch-flow__stem,.arch-flow--dashed .arch-flow__shaft,.arch-flow--dotted .arch-flow__stem,.arch-flow--dotted .arch-flow__shaft{background:0 0;border-left:1px dashed;width:0}.arch-flow--dotted .arch-flow__stem,.arch-flow--dotted .arch-flow__shaft{border-left-style:dotted}.arch-junction{border-top:1px solid var(--ink-2);width:calc(50% + clamp(5px,3.5cqi,20px));margin-inline:auto}.arch-journey__short,.arch-journey__source{width:80%;margin-inline:auto}.arch-journey__branches{grid-template-rows:auto auto auto;grid-template-columns:minmax(0,1fr) 4em minmax(0,1fr);display:grid}.arch-journey__expand-analytic{grid-area:1/1}.arch-journey__expand-limit{grid-area:1/3}.arch-journey__analytic{grid-area:2/1}.arch-journey__limit{grid-area:2/3}.arch-journey__direct{grid-area:1/2/4/3}.arch-journey__limit-map{grid-area:3/3}.arch-journey__branches .arch-flow{height:100%;min-height:4.8em}.arch-journey__direct .arch-flow__stem{height:1.4em}.arch-journey__branches .arch-box{height:100%}.arch-row--3 .arch-flow{min-height:5.6em}.fig-explorable{max-width:40rem;margin-inline:auto;container-type:inline-size}.fig-explore__bar{margin-top:var(--space-2);justify-content:flex-end;display:flex}.fig-explore{gap:var(--space-3);margin-top:var(--space-2);padding:var(--space-3) var(--space-4);border-top:1px solid var(--rule);font-family:var(--font-sans);font-size:var(--fs-ui);color:var(--ink);display:grid}.fig-explore__note{color:var(--ink-2)}.fig-explore__control{gap:var(--space-1);display:grid}.fig-explore__control label{justify-content:space-between;gap:var(--space-3);display:flex}.fig-explore__control output{font-variant-numeric:tabular-nums;color:var(--ink-2)}.fig-explore__control input[type=range]{width:100%;accent-color:var(--lit)}.fig-explore__readout{font-variant-numeric:tabular-nums}.fig-explore>.control{justify-self:start}.fig-explore .katex{white-space:nowrap;font-size:1.05em;display:inline-block}.app{flex-direction:column;min-height:100%;display:flex}.app__main{outline:none;flex-direction:column;flex:1;min-height:0;display:flex}html[data-view=map],html[data-view=map] body{overflow:hidden}html[data-view=map] .app{height:100%}.topbar{z-index:40;align-items:center;gap:var(--space-5);height:var(--topbar-h);padding:0 var(--space-5);background:var(--ground);border-bottom:1px solid var(--rule);display:flex;position:sticky;top:0}.topbar .fam-ladder{flex:none}.wordmark{color:var(--ink);font-family:var(--font-serif);letter-spacing:-.005em;flex:none;align-items:baseline;gap:10px;font-size:1.1875rem;text-decoration:none;display:inline-flex}.wordmark__mark{align-self:center;width:22px;height:22px}.wordmark__mark path{stroke:var(--ink)}.wordmark__mark circle{fill:var(--lit)}.topnav{align-items:center;gap:2px;min-width:0;height:100%;display:flex}.topnav__job{border-radius:var(--radius-m);height:36px;color:var(--ink-2);font:inherit;font-size:var(--fs-ui);white-space:nowrap;cursor:pointer;transition:color var(--t-hover) var(--ease-out), background-color var(--t-hover) var(--ease-out);background:0 0;border:0;align-items:center;gap:6px;padding:0 12px;font-weight:500;text-decoration:none;display:inline-flex;position:relative}.topnav__job:hover,.readmenu__button[aria-expanded=true]{color:var(--ink);background:color-mix(in oklab, var(--ink) 5%, transparent)}.topnav__job[aria-current=page]{color:var(--ink)}.topnav__job[aria-current=page]:after{content:"";left:12px;right:12px;bottom:calc((36px - var(--topbar-h)) / 2);background:var(--lit);border-radius:2px;height:2px;position:absolute}.readmenu{position:relative}.readmenu__chev{color:var(--ink-3);transition:transform var(--t-state) var(--ease-out)}.readmenu__chev.is-open{transform:rotate(180deg)}.readmenu__menu{z-index:50;width:22rem;padding:var(--space-2);background:var(--surface);border:1px solid var(--rule-strong);border-radius:var(--radius-l);box-shadow:var(--shadow-sheet);animation:menu-in var(--t-reveal) var(--ease-out);position:absolute;top:calc(100% + 10px);left:-8px}.readmenu__menu[hidden]{display:none}@keyframes menu-in{0%{opacity:0;transform:translateY(-4px)}}.readmenu__item{padding:var(--space-2) var(--space-3);border-radius:var(--radius-m);color:var(--ink);outline:none;gap:2px;text-decoration:none;display:grid;position:relative}.readmenu__item:hover,.readmenu__item:focus-visible{background:color-mix(in oklab, var(--ink) 6%, transparent)}.readmenu__item:focus-visible{box-shadow:inset 0 0 0 2px var(--lit)}.readmenu__item[aria-current=page]:before{content:"";background:var(--lit);border-radius:2px;width:2px;position:absolute;top:10px;bottom:10px;left:0}.readmenu__name{align-items:baseline;gap:var(--space-2);font-family:var(--font-serif);font-size:var(--fs-card);line-height:var(--lh-snug);display:flex}.readmenu__state{font-family:var(--font-sans)}.readmenu__job{font-size:var(--fs-sm);line-height:var(--lh-snug);color:var(--ink-2)}.topbar__tools{align-items:center;gap:var(--space-1);margin-left:auto;display:flex}.topbar__about{height:34px;margin-right:var(--space-2);border-radius:var(--radius-m);color:var(--ink-3);font-size:var(--fs-sm);transition:color var(--t-hover) var(--ease-out);align-items:center;padding:0 10px;text-decoration:none;display:inline-flex}.topbar__about:hover,.topbar__about[aria-current=page]{color:var(--ink)}.search-trigger{color:var(--ink-2);gap:8px}.search-trigger .kbd{margin-left:2px}.menu-toggle,.phonemenu{display:none}@media (max-width:67.5em){.search-trigger .kbd{display:none}}@media (max-width:56.25em){.topbar{gap:var(--space-3);padding:0 var(--space-4)}.topnav,.topbar__about,.topbar__scheme{display:none}.menu-toggle{min-width:var(--target);min-height:var(--target);justify-content:center;display:inline-flex}.search-trigger{min-height:var(--target)}.phonemenu:not([hidden]){top:var(--topbar-h);max-height:calc(100dvh - var(--topbar-h));padding:var(--space-2) var(--space-4) var(--space-4);background:var(--ground);border-bottom:1px solid var(--rule);box-shadow:var(--shadow-sheet);animation:menu-in var(--t-reveal) var(--ease-out);display:block;position:absolute;left:0;right:0;overflow-y:auto}.phonemenu__list,.phonemenu__accounts{margin:0;padding:0;list-style:none}.phonemenu__list>li+li{border-top:1px solid var(--rule)}.phonemenu__job{min-height:var(--target);color:var(--ink);font-size:var(--fs-base);align-items:center;font-weight:500;text-decoration:none;display:flex;position:relative}.phonemenu__job--head{min-height:36px;padding-top:var(--space-2)}.phonemenu__job--quiet{color:var(--ink-2);font-weight:400}.phonemenu__job[aria-current]:before{content:"";left:calc(-1 * var(--space-3));background:var(--lit);border-radius:2px;width:2px;position:absolute;top:12px;bottom:12px}.phonemenu__accounts{padding-bottom:var(--space-2)}.phonemenu__accounts .readmenu__item{padding:var(--space-2) 0 var(--space-2) var(--space-3);min-height:var(--target)}.phonemenu__accounts .readmenu__item[aria-current=page]:before{left:0}.phonemenu__scheme{margin-top:var(--space-3);gap:var(--space-2);min-height:var(--target)}}@media (max-width:30em){.topbar .fam-ladder{gap:.35rem}.topbar .fam-ladder__up{font-size:.75rem}.wordmark{gap:8px;font-size:1.0625rem}.wordmark__mark{width:20px;height:20px}.search-trigger{min-width:var(--target);justify-content:center;padding:0}.search-trigger__word{display:none}}@media (max-width:22.5em){.topbar{gap:var(--space-2)}.wordmark{font-size:1rem}.wordmark__mark{display:none}}.boot{justify-content:center;align-items:center;gap:var(--space-4);padding:var(--space-7) var(--space-5);color:var(--ink-2);text-align:center;flex-direction:column;flex:1;display:flex}.skeleton{width:100%;max-width:46rem;padding:var(--space-8) var(--space-5);flex-direction:column;flex:1;gap:12px;margin:0 auto;display:flex}.skeleton--paper{max-width:calc(var(--reader-measure) + 2 * var(--space-5));padding-top:var(--space-7)}.skeleton__bar{background:color-mix(in oklab, var(--ink) 7%, transparent);border-radius:3px;height:12px;display:block}.skeleton__bar--caps{width:9rem;height:9px;margin-bottom:6px}.skeleton__bar--title{width:70%;height:30px;margin-bottom:10px}.skeleton__bar--short{width:40%;margin-top:-4px}.skeleton__bar--line{height:13px}.skeleton__gap{height:12px}.skeleton__title{font-family:var(--font-serif);font-size:var(--fs-plate);color:var(--ink);margin-bottom:10px;font-weight:500;line-height:1.12}.skeleton__actions{gap:var(--space-3);margin-top:var(--space-4);display:flex}.skeleton__bar--button{border-radius:var(--radius-m);width:9.5rem;height:36px}@media (max-width:640px){.skeleton{padding:var(--space-6) var(--space-4)}}.boot--error h1{font-family:var(--font-serif);font-size:var(--fs-h2);color:var(--ink)}.boot--error p{max-width:36rem}.page-message{max-width:40rem;margin:var(--space-8) auto;padding:0 var(--space-5)}.page-message h1{font-family:var(--font-serif);font-size:var(--fs-h1);margin-bottom:var(--space-4)}.page-loading{padding:var(--space-7);color:var(--ink-3);text-align:center}.edition-banner{top:var(--topbar-h);z-index:39;justify-content:center;align-items:center;gap:var(--space-4);padding:var(--space-2) var(--space-5);background:var(--lit-wash);color:var(--ink);font-size:var(--fs-ui);border-bottom:1px solid var(--rule);display:flex;position:sticky}a.out:after{content:"⁠";background-color:var(--ink-3);margin-left:.1em;padding-left:.62em;-webkit-mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'%3E%3Cpath d='M3 9 9 3M4.5 3H9v4.5' fill='none' stroke='%23000' stroke-width='1.6' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") 100% .12em/.62em .62em no-repeat;mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'%3E%3Cpath d='M3 9 9 3M4.5 3H9v4.5' fill='none' stroke='%23000' stroke-width='1.6' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") 100% .12em/.62em .62em no-repeat}@media (forced-colors:active){a.out:after{content:"⁠↗";padding-left:0;-webkit-mask:none;mask:none}}.tree{cursor:grab;touch-action:none;--k:1;background-color:var(--ground);background-image:radial-gradient(circle at 1px 1px, var(--grid-dot) 1px, transparent 1.2px);background-size:22px 22px;width:100%;height:100%;position:relative;overflow:hidden}.tree:active{cursor:grabbing}.tree[data-rep=mark],.tree--compact{background-image:none}.tree__world{transform-origin:0 0;position:absolute;top:0;left:0}.tree__links,.tree__heads{pointer-events:none;position:absolute;top:0;left:0;overflow:visible}.link{fill:none;stroke:var(--rel-supports);stroke-width:calc(var(--edge-w) / var(--k));stroke-linejoin:round;transition:stroke var(--t-hover) var(--ease-out), opacity var(--t-state) var(--ease-out)}.link--assumes{stroke:var(--rel-assumes);stroke-width:calc(2.2px / var(--k));stroke-linecap:round;stroke-dasharray:0 calc(5px / var(--k))}.link--formalizes{stroke:var(--rel-formalizes);stroke-dasharray:calc(6px / var(--k)) calc(4px / var(--k))}.casing{fill:none;stroke:var(--edge-casing);stroke-width:calc((var(--edge-w) + 3px) / var(--k));stroke-linejoin:round}.casing--lit{stroke-width:calc((var(--edge-w-lit) + 3px) / var(--k))}.tree--dim .links,.tree--dim .heads{opacity:.45}.link--near{stroke-width:calc(2px / var(--k))}.link--near.link--supports{stroke:var(--edge-strong)}.link--near.link--assumes{stroke-width:calc(2.6px / var(--k))}.link--lit{stroke:var(--rel-supports-lit);stroke-width:calc(var(--edge-w-lit) / var(--k))}.link--lit.link--assumes{stroke:var(--rel-assumes-lit);stroke-width:calc(3px / var(--k))}.link--lit.link--formalizes{stroke:var(--rel-formalizes-lit)}.lit-mask{fill:none;stroke:#fff;stroke-width:calc(14px / var(--k));stroke-dasharray:1 1;animation:lit-from-start var(--dur,.24s) var(--ease-move) both;animation-delay:var(--d,0s)}.lit-mask--end{animation-name:lit-from-end}@keyframes lit-from-start{0%{stroke-dashoffset:1px}to{stroke-dashoffset:0}}@keyframes lit-from-end{0%{stroke-dashoffset:-1px}to{stroke-dashoffset:0}}:root[data-theme=dark] .links-lit .link--lit,:root[data-theme=dark] .links-sel .link--lit{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-supports-lit) 55%, transparent))}:root[data-theme=dark] .links-lit .link--lit.link--assumes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-assumes-lit) 55%, transparent))}:root[data-theme=dark] .links-lit .link--lit.link--formalizes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-formalizes-lit) 55%, transparent))}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .links-lit .link--lit,:root:not([data-theme=light]) .links-sel .link--lit{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-supports-lit) 55%, transparent))}:root:not([data-theme=light]) .links-lit .link--lit.link--assumes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-assumes-lit) 55%, transparent))}:root:not([data-theme=light]) .links-lit .link--lit.link--formalizes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-formalizes-lit) 55%, transparent))}}.head{fill:var(--rel-supports);stroke:none}.head--assumes{fill:var(--rel-assumes)}.head--near.head--supports{fill:var(--edge-strong)}.head--lit{fill:var(--rel-supports-lit);transform-box:fill-box;transform-origin:50% 0;animation:head-pop .16s var(--ease-out) both;animation-delay:var(--d,0s)}.head--lit.head--assumes{fill:var(--rel-assumes-lit)}@keyframes head-pop{0%{transform:scale(0)}}.ring{fill:var(--ground);stroke:var(--ink-3);stroke-width:calc(1.1px / var(--k))}.hit{fill:none;stroke:#0000;stroke-width:calc(14px / var(--k));pointer-events:stroke;cursor:pointer}.tree--moving .hit,.tree[data-rep=mark] .hit{pointer-events:none}.card{z-index:1;box-sizing:border-box;background:var(--card);border:1px solid var(--card-border);border-radius:var(--radius-card);min-height:104px;box-shadow:var(--card-shadow);cursor:pointer;transform-origin:50%;transition:opacity var(--t-state) var(--ease-out), border-color var(--t-hover) var(--ease-out), box-shadow var(--t-hover) var(--ease-out), background-color var(--t-hover) var(--ease-out);flex-direction:column;padding:11px 13px 10px;display:flex;position:absolute;top:0;left:0}.card__full{min-height:0;transition:opacity .16s var(--ease-out);flex-direction:column;flex:1;display:flex}.card__head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:2px 8px;min-width:0;margin:0 0 6px;display:flex}.card__kind{white-space:nowrap}.card__src{min-width:0;font-size:var(--fs-xs);color:var(--ink-2);text-align:right;align-items:baseline;gap:5px;margin-left:auto;display:inline-flex}.card__src .src-sq{flex:none;align-self:center}.card__srcname{overflow-wrap:anywhere}.card__open{text-align:left;width:100%;color:inherit;font:inherit;cursor:pointer;background:0 0;border:0;border-radius:3px;margin:0;padding:0;display:block}.card__open:focus-visible{outline:none}.card:has(.card__open:focus-visible){outline:2px solid var(--lit);outline-offset:2px}.card__title{font-family:var(--font-serif);font-weight:400;font-size:var(--fs-card);letter-spacing:-.003em;color:var(--ink);text-wrap:balance;line-height:1.28;display:block}.card__title.lean{font-family:var(--font-mono);letter-spacing:-.02em;overflow-wrap:anywhere;text-wrap:wrap;font-size:16.5px;line-height:1.4}.card__status{font-family:var(--font-sans);font-size:var(--fs-sm);color:var(--ink-2)}.card__foot{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:4px 8px;min-height:24px;margin-top:auto;padding-top:8px;display:flex}.card__inputs{height:24px;color:var(--ink-2);font:600 12.5px var(--font-sans);letter-spacing:.01em;white-space:nowrap;cursor:pointer;transition:background-color var(--t-hover) var(--ease-out), color var(--t-hover) var(--ease-out);background:0 0;border:0;border-radius:6px;flex:none;align-items:center;gap:5px;margin-left:-6px;padding:0 8px 0 6px;display:inline-flex}.card__inputs svg{transition:transform .2s var(--ease-out);transform:rotate(-90deg)}.card__inputs.is-open svg{transform:none}.card__inputs:hover{background:color-mix(in oklab, var(--ink) 6%, transparent);color:var(--ink)}.card__inputs:focus-visible{outline:2px solid var(--lit);outline-offset:1px}.card__outside{color:var(--ink-3);font-weight:400}.card__none{white-space:nowrap;font-family:var(--font-serif);font-size:var(--fs-xs);color:var(--ink-3);font-style:italic}.card__cov{font-size:var(--fs-xs);color:var(--ink-2);white-space:nowrap;align-items:center;gap:5px;margin-left:auto;display:inline-flex}.card--assumption{border-style:dashed;border-color:color-mix(in oklab, var(--ink-3) 75%, var(--card-border));background:color-mix(in oklab, var(--card) 60%, var(--ground));box-shadow:none}.card:hover,.card.is-hover{border-color:color-mix(in oklab, var(--ink-3) 70%, var(--card-border));box-shadow:var(--card-shadow-lift)}.card.is-selected{outline:2px solid var(--lit);outline-offset:2px;box-shadow:var(--card-shadow-lift), 0 0 32px -6px var(--lit-glow)}.card.is-lit,.card.is-edge-end{border-color:color-mix(in oklab, var(--lit-line) 55%, var(--card-border))}.card.is-preview,.card.is-echo{border-color:var(--lit-line);background:color-mix(in oklab, var(--lit-wash) 45%, var(--card))}.card.is-quiet{background:color-mix(in oklab, var(--card) 45%, var(--ground));border-color:color-mix(in oklab, var(--card-border) 55%, var(--ground));box-shadow:none}.card.is-quiet .card__title{color:var(--ink-2)}.card.is-exiting{pointer-events:none}.tree--moving .card{transition:none}.tree--unframed .tree__world,.tree--unframed .tree__labels{opacity:0}.tree--entering .card--root{animation:tree-enter-plate .24s var(--ease-out) both}.tree--entering .card:not(.card--root){animation:tree-enter-card .24s var(--ease-out) both;animation-delay:calc(.16s + var(--enter-i,0) * 40ms)}.tree--entering .enter-cover{transform-box:fill-box;transform-origin:50% 0;animation:tree-enter-lines .36s var(--ease-out) .16s both}.tree--entering .tree__heads{animation:tree-enter-fade .16s var(--ease-out) .44s both}@keyframes tree-enter-plate{0%{opacity:0;translate:0 8px}}@keyframes tree-enter-card{0%{opacity:0;translate:0 6px}}@keyframes tree-enter-lines{0%{transform:scaleY(1)}to{transform:scaleY(0)}}@keyframes tree-enter-fade{0%{opacity:0}}.card--root{border-color:var(--rule-strong);cursor:default;border-radius:10px;min-height:0;padding:20px 26px 16px;box-shadow:0 1px #00000008,0 18px 40px -26px #19152059}:root[data-theme=dark] .card--root{box-shadow:0 1px #0000004d,0 22px 50px -28px #000000e6}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .card--root{box-shadow:0 1px #0000004d,0 22px 50px -28px #000000e6}}.card--root .card__head{margin-bottom:8px}.card--root .card__title,.plate__title .card__title{font-weight:500;font-size:var(--fs-plate);letter-spacing:-.012em;line-height:1.12}.card--root .card__open{margin-bottom:10px}.card__theorem{cursor:auto;-webkit-user-select:text;user-select:text}.tree--narrow .card--root{padding:16px 16px 14px}.tree--compact .card{min-height:54px;padding:7px 10px 6px}.tree--compact .card__head{margin-bottom:3px}.tree--compact .card__title{font-size:.875rem}.tree--compact .card__title.lean{font-size:.75rem}.tree--compact .card__foot{min-height:18px;padding-top:4px}.tree--compact .card__inputs{height:20px}.tree--compact .card--root .card__title{font-size:1.05rem}.card__compact{justify-content:center;align-items:center;gap:calc(5px / var(--k));padding:calc(10px / var(--k)) calc(8px / var(--k)) calc(7px / var(--k));text-align:center;opacity:0;pointer-events:none;transition:opacity .16s var(--ease-out);flex-direction:column;display:flex;position:absolute;inset:0}.card__compact .src-sq{left:calc(4px / var(--k));top:calc(3px / var(--k));width:calc(6px / var(--k));height:calc(6px / var(--k));position:absolute}.card__ctitle{max-width:100%;font-family:var(--font-sans);font-size:calc(var(--title,13px) / var(--k));color:var(--ink);-webkit-line-clamp:var(--lines,4);overflow-wrap:normal;word-break:normal;-webkit-hyphens:manual;hyphens:manual;text-wrap:balance;-webkit-box-orient:vertical;line-height:1.22;display:-webkit-box;overflow:hidden}.card__compact .card__ctitle[data-short]{font-size:0}.card__compact .card__ctitle[data-short]:before{content:attr(data-short);font-size:calc(var(--title,13px) / var(--k))}.card__nobreak{white-space:nowrap}.card__ctitle.lean{font-family:var(--font-mono);font-size:calc(var(--title,12px) / var(--k));line-height:1.22}.card__cmain{line-height:1.2;font-family:var(--font-sans);font-size:calc(11px / var(--k));letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--ink-3);font-weight:600;display:none}.card--root .card__cmain{display:block}.card--root .card__ctitle{font-family:var(--font-serif);font-size:calc(var(--title,18px) / var(--k));max-width:calc(560px / var(--k));line-height:1.2}.card__cstatement{visibility:hidden;width:calc(360px / var(--k));font-size:calc(13px / var(--k));text-align:left;position:absolute}.card__cstatement .plate__statement{max-width:none;font-size:inherit}.tree[data-rep=compact] .card[data-statement] .card__cstatement{visibility:visible;margin-top:calc(7px / var(--k));position:static}.tree[data-rep=compact] .card__full,.tree[data-rep=mark] .card__full{opacity:0}.tree[data-rep=compact] .card__compact{opacity:1}.tree[data-rep=mark] .card[data-text] .card__compact{opacity:1;padding:calc(4px / var(--k))}.tree[data-rep=mark] .card__compact .src-sq{display:none}.tree[data-rep=mark] .card__cmain{color:var(--ink)}.tree[data-rep=mark] .card[data-text] .card__notches{bottom:calc(-7px / var(--k))}.tree[data-rep=mark] .card{background:color-mix(in oklab, var(--cat,var(--src-0)) var(--mark-mix), var(--ground));border-color:color-mix(in oklab, var(--cat,var(--src-0)) 85%, var(--ground));box-shadow:none;border-style:solid}.tree[data-rep=mark] .card--assumption{border-style:dashed;border-width:calc(1.5px / var(--k));border-color:color-mix(in oklab, var(--cat,var(--ink-3)) 80%, var(--ground));background:0 0}.tree[data-rep=mark] .card--root{outline:calc(2px / var(--k)) solid var(--ink);outline-offset:calc(3px / var(--k))}.tree[data-rep=mark] .card.is-selected{outline:calc(2px / var(--k)) solid var(--lit);outline-offset:calc(3px / var(--k));box-shadow:0 0 calc(18px / var(--k)) calc(-2px / var(--k)) var(--lit-glow)}.tree[data-rep=mark] .card.is-hover{outline:calc(2px / var(--k)) solid var(--edge-strong);outline-offset:calc(2px / var(--k))}.tree[data-rep=mark] .card.is-quiet{opacity:.45}.tree[data-rep=mark] .tree__heads .head,.tree[data-rep=mark] .tree__heads .ring{display:none}.tree__labels{pointer-events:none;position:absolute;inset:0;overflow:hidden}.tree__label{background:var(--surface);border:1px solid var(--rule-strong);font:500 13px/1.3 var(--font-sans);color:var(--ink);text-wrap:pretty;border-radius:7px;max-width:min(320px,70%);padding:5px 10px;position:absolute;top:0;left:0;box-shadow:0 6px 18px -10px #0006}.tree__label.is-selected{border-color:var(--lit)}.tree__ui{z-index:4;cursor:auto;position:absolute}.tree__chip{border:1px solid var(--rule-control);background:var(--surface);height:30px;font:500 13px var(--font-sans);color:var(--ink-2);white-space:nowrap;cursor:pointer;transition:color var(--t-hover) var(--ease-out), border-color var(--t-hover) var(--ease-out);border-radius:999px;padding:0 12px;box-shadow:0 2px 10px -4px #00000040}.tree__chip:hover{color:var(--ink);border-color:var(--ink-3)}.tree__chip:focus-visible{outline:2px solid var(--lit);outline-offset:2px}.tree__chip--left,.tree__chip--right{transform:translateY(-50%)}.tree__chip--up,.tree__chip--down{transform:translate(-50%)}.tree__notes{flex-direction:column;align-items:flex-start;gap:8px;max-width:calc(100% - 32px);display:flex}.tree__note{border:1px solid var(--lit-line);background:var(--surface);min-height:30px;font-size:var(--fs-sm);color:var(--ink-2);border-radius:999px;align-items:center;gap:8px;margin:0;padding:0 4px 0 12px;display:inline-flex;box-shadow:0 2px 8px -4px #00000026}.tree__note-action{background:color-mix(in oklab, var(--lit-wash) 70%, var(--surface));height:24px;font:600 var(--fs-sm) var(--font-sans);color:var(--ink);cursor:pointer;border:0;border-radius:999px;padding:0 10px}.sim{position:relative}.sim__button{border:1px solid var(--rule);background:var(--surface);height:30px;font:400 var(--fs-sm) var(--font-sans);color:var(--ink-2);cursor:pointer;border-radius:999px;align-items:center;gap:8px;padding:0 12px;display:inline-flex;box-shadow:0 2px 8px -4px #00000026}.sim__button:hover,.sim__button[aria-expanded=true]{color:var(--ink);border-color:var(--rule-strong)}.sim__button:focus-visible{outline:2px solid var(--lit);outline-offset:2px}.sim__sample{width:18px}.sim__pop{background:var(--surface);border:1px solid var(--rule-strong);border-radius:var(--radius-m);width:min(400px,100vw - 32px);max-height:min(420px,60vh);box-shadow:var(--shadow-sheet);animation:tree-pop-in var(--t-reveal) var(--ease-out);padding:12px 14px 10px;position:absolute;bottom:calc(100% + 8px);left:0;overflow:auto}@keyframes tree-pop-in{0%{opacity:0;transform:translateY(6px)}}.sim__note{font-size:var(--fs-sm);color:var(--ink-2);margin:0 0 10px;line-height:1.4}.sim__head{font:600 var(--fs-sm) var(--font-sans);color:var(--ink);align-items:center;gap:8px;margin:8px 0 4px;display:flex}.sim__list{margin:0;padding:0;list-style:none}.sim__row{text-align:left;width:100%;font:inherit;font-size:var(--fs-sm);color:var(--ink-2);cursor:pointer;background:0 0;border:0;border-radius:6px;margin:0 -8px;padding:7px 8px;line-height:1.4;display:block}.sim__row:hover,.sim__row:focus-visible{background:color-mix(in oklab, var(--ink) 6%, transparent);outline:none}.sim__from,.sim__to{font-family:var(--font-serif);color:var(--ink);font-size:15px}.sim__verb{color:var(--ink-3);margin:0 .35em}.edge-tip{z-index:6;background:var(--surface);border:1px solid var(--rule-strong);border-radius:var(--radius-m);max-width:320px;box-shadow:var(--shadow-sheet);cursor:auto;animation:tree-pop-in var(--t-reveal) var(--ease-out);gap:5px;padding:9px 12px 8px;display:grid;position:absolute}.edge-tip p{margin:0}.edge-tip__kind{align-items:center;gap:8px;display:flex}.edge-tip__kind .rel-sample{width:20px}.edge-tip__rel{font-size:var(--fs-sm);color:var(--ink);font-weight:600;line-height:1.35}.edge-tip__warrant{font-family:var(--font-serif);color:var(--ink);font-size:.9375rem;line-height:1.4}.edge-tip__hint{font-size:var(--fs-sm);color:var(--ink-3)}.edge-tip--compact{max-width:260px}@media (prefers-reduced-motion:reduce){.card,.card__full,.card__compact,.tree--entering .card,.tree--entering .tree__heads,.tree--entering .enter-cover,.sim__pop,.edge-tip{transition:none;animation:none}.head--lit,.lit-mask{animation:none}}.plate{flex-direction:column;display:flex}.plate__body{grid-template-columns:minmax(0,1fr);gap:26px;display:grid}.plate--two .plate__body{grid-template-columns:minmax(0,1fr) 236px}.plate__statement{font-family:var(--font-serif);font-size:var(--fs-read);color:var(--ink);line-height:1.5}.prose.plate__statement>:first-child,.prose.plate__statement>p.run-in:first-child{margin-top:0}.plate__statement p{margin:0}.plate__statement p+p,.plate__statement p+.math-display,.plate__statement .math-display+p{margin-top:.4em}.plate__statement .math-display{margin:.4em 0 0}.plate__clamp{max-height:19em;overflow:hidden}.plate__clamp.is-clamped{-webkit-mask-image:linear-gradient(#000 calc(100% - 3em),#0000);mask-image:linear-gradient(#000 calc(100% - 3em),#0000)}.plate__recorded{font-family:var(--font-serif);font-size:var(--fs-read);color:var(--ink);margin:0;line-height:1.5}.plate__source{font-size:var(--fs-sm);margin:8px 0 0}.plate__source a,.plate__foot a{color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:3px}.plate__source a:hover,.plate__foot a:hover{text-decoration-color:currentColor}.plate__lean{border-left:1px solid var(--rule);align-self:start;min-width:0;padding-left:18px}.plate__label{margin:0 0 8px}.plate__code{font:12.5px/1.65 var(--font-mono);color:var(--ink-2);white-space:pre-wrap;overflow-wrap:break-word;display:block}.plate__leanstatus{font-size:var(--fs-xs);color:var(--ink-3);margin:8px 0 0}.plate__foot{border-top:1px solid var(--rule);font-size:var(--fs-sm);color:var(--ink-2);flex-wrap:wrap;align-items:center;gap:6px 12px;margin-top:16px;padding-top:12px;display:flex}.plate__sep{flex:1}.plate__readin{flex-wrap:wrap;gap:4px 10px;display:inline-flex}.plate__readlabel{color:var(--ink-3)}.tree--narrow .plate--two .plate__body{grid-template-columns:minmax(0,1fr);gap:14px}.tree--narrow .plate__lean{border-left:0;border-top:1px solid var(--rule);padding:12px 0 0}.tree--compact .plate__statement{font-size:.875rem}.map-keypop__channels{font-size:var(--fs-sm);color:var(--ink-2);gap:6px;margin:0;padding:0;line-height:1.4;list-style:none;display:grid}.map-keypop__panel .head--assumes{fill:var(--rel-assumes)}.card__tags{flex-wrap:wrap;align-items:center;gap:5px 6px;margin-top:9px;display:flex}.card__tagword{margin-right:2px}.tag{border:1.5px dotted var(--rel-assumes);background:var(--card);max-width:100%;min-height:24px;font:500 13px/1.28 var(--font-sans);color:var(--rel-assumes-lit);text-align:left;white-space:normal;overflow-wrap:break-word;cursor:pointer;transition:background-color var(--t-hover) var(--ease-out), border-color var(--t-hover) var(--ease-out);border-radius:12px;padding:3px 10px;display:inline-block}.tag:hover,.tag.is-hover{background:color-mix(in oklab, var(--rel-assumes) 14%, var(--card));border-color:var(--rel-assumes-lit)}.tag:focus-visible,.tag.is-selected{outline:2px solid var(--lit);outline-offset:2px}.tag.is-lit{border-style:dotted;border-color:var(--rel-assumes-lit);background:color-mix(in oklab, var(--rel-assumes-lit) 12%, var(--card));border-width:2px}.card--root .card__tags{margin:0 0 14px}.tree--compact .tag{min-height:20px;font-size:12px}.card__notches{right:calc(4px / var(--k));bottom:calc(4px / var(--k));gap:calc(3px / var(--k));display:none;position:absolute}.card__notches .tag{width:calc(8px / var(--k));height:calc(8px / var(--k));border:calc(1.5px / var(--k)) solid var(--ground);background:var(--rel-assumes-lit);box-sizing:content-box;min-height:0;padding:0;display:block}.card__notches .tag.is-selected{outline:calc(2px / var(--k)) solid var(--lit)}.tree[data-rep=mark] .card__notches{display:flex}.card--clone{min-height:0;padding-bottom:14px}.card--clone:after{content:"";border-radius:0 0 calc(var(--radius-card) - 1px) calc(var(--radius-card) - 1px);background:color-mix(in oklab, var(--cat,var(--src-0)) 35%, var(--card));height:5px;position:absolute;bottom:0;left:0;right:0}.card--clone .card__title{font-size:15px}.card--clone .card__title.lean{font-size:14.5px}.card__usedby{height:24px;font:600 12.5px var(--font-sans);color:var(--ink-2);cursor:pointer;background:0 0;border:0;border-radius:6px;margin-left:-6px;padding:0 8px 0 6px}.card__usedby:hover{background:color-mix(in oklab, var(--ink) 6%, transparent);color:var(--ink)}.card__usedby:focus-visible{outline:2px solid var(--lit);outline-offset:1px}.tree[data-rep=mark] .card--clone:after{height:calc(5px / var(--k));background:color-mix(in oklab, var(--cat,var(--src-0)) 35%, var(--ground))}.tree__notes--top .sim__pop{top:calc(100% + 8px);bottom:auto}.map-keypop__tag{white-space:nowrap;cursor:default;flex:none;min-height:0;padding:0 8px;font-size:12px;display:inline-block}.card.is-passage{border-color:var(--lit-line);box-shadow:0 0 0 1px var(--lit-line), var(--card-shadow-lift);transition:border-color var(--t-state) var(--ease-out), box-shadow var(--t-state) var(--ease-out)}.card--assumption.is-passage{border-style:dashed}.card.is-passage.is-selected{box-shadow:0 0 0 1px var(--lit-line), var(--card-shadow-lift), 0 0 32px -6px var(--lit-glow)}.tree[data-rep=mark] .card.is-passage{outline:calc(2px / var(--k)) solid var(--lit-line);outline-offset:calc(2px / var(--k))}.tag.is-passage{outline:1.5px solid var(--lit-line);outline-offset:1px}.card.is-elsewhere:not(.is-selected):not(.is-hover){filter:saturate(.3)opacity(.45)}.card.is-elsewhere .card__title,.card.is-elsewhere .card__ctitle{font-style:italic}.links-passage>g,.heads-passage .head--lit{animation:passage-in var(--t-state) var(--ease-out) both}@keyframes passage-in{0%{opacity:0}}:root[data-theme=dark] .links-passage .link--lit{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-supports-lit) 55%, transparent))}:root[data-theme=dark] .links-passage .link--lit.link--assumes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-assumes-lit) 55%, transparent))}:root[data-theme=dark] .links-passage .link--lit.link--formalizes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-formalizes-lit) 55%, transparent))}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .links-passage .link--lit{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-supports-lit) 55%, transparent))}:root:not([data-theme=light]) .links-passage .link--lit.link--assumes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-assumes-lit) 55%, transparent))}:root:not([data-theme=light]) .links-passage .link--lit.link--formalizes{filter:drop-shadow(0 0 calc(3px / var(--k)) color-mix(in oklab, var(--rel-formalizes-lit) 55%, transparent))}}@media (prefers-reduced-motion:reduce){.links-passage>g,.heads-passage .head--lit{animation:none}}.card.is-peeked{box-shadow:none}.links .is-peeked,.heads .is-peeked{filter:opacity(.5)}.links-peek>g,.heads-peek .head--lit{animation:passage-in var(--t-state) var(--ease-out) both}@media (prefers-reduced-motion:reduce){.links-peek>g,.heads-peek .head--lit{animation:none}}.outline{overscroll-behavior:contain;padding:24px 28px calc(48px + var(--sheet-inset,0px));background:var(--ground);overflow:hidden auto}.outline>*{max-width:46rem;margin-inline:auto}.outline__goal{background:var(--raised);border:1px solid var(--card-border);border-radius:var(--radius-card);box-shadow:var(--card-shadow);gap:10px;padding:20px 22px 18px;display:grid}.outline__meta{flex-wrap:wrap;align-items:center;gap:4px 12px;margin:0;display:flex}.outline__src{font-size:var(--fs-sm);color:var(--ink-2);align-items:center;gap:6px;display:inline-flex}.outline__title{font-family:var(--font-serif);color:var(--ink);text-wrap:balance;margin:0;font-size:clamp(1.625rem,1.5rem + .4vw,1.75rem);font-weight:500;line-height:1.15}.outline__scope{font-size:var(--fs-sm);color:var(--ink-2);margin:0}.outline__actions{flex-wrap:wrap;align-items:center;gap:10px;margin-top:4px;display:flex}.outline__explore{min-height:var(--target);border:1px solid var(--ink);border-radius:var(--radius-m);background:var(--ink);color:var(--ground);font-size:var(--fs-base);cursor:pointer;align-items:center;padding:0 18px;font-weight:600;display:inline-flex}.outline__explore:disabled{opacity:.5;cursor:default}.outline__inspect-goal{min-height:var(--target)}.outline__statement{border-top:1px solid var(--rule);margin-top:4px;padding-top:10px}.outline__statement>summary{min-height:36px;font-size:var(--fs-ui);color:var(--ink);cursor:pointer;align-items:center;gap:8px;list-style:none;display:flex}.outline__statement>summary::-webkit-details-marker{display:none}.outline__statement>summary:before{content:"";width:6px;height:6px;transition:transform var(--t-state) var(--ease-out);border-bottom:1.5px solid;border-right:1.5px solid;transform:rotate(-45deg)}.outline__statement[open]>summary:before{transform:rotate(45deg)}.outline__statement-body{padding-top:8px;overflow-x:auto}.outline__statement-body .theorem--two{grid-template-columns:minmax(0,1fr);gap:16px}.outline__statement-body .theorem__formal{border-left:0;border-top:1px solid var(--rule);padding-top:12px;padding-left:0}.outline__route{margin-top:20px}.outline__route-title{font-size:var(--fs-xs);color:var(--ink-3);margin:0 0 6px}.outline__route ol{font-size:var(--fs-sm);color:var(--ink-2);flex-wrap:wrap;align-items:baseline;gap:4px 0;margin:0;padding:0;list-style:none;display:flex}.outline__route li+li:before{content:"›";color:var(--ink-3);margin:0 8px}.outline__route li[aria-current]{color:var(--ink);font-weight:600}.outline__route .linklike{min-height:32px}.outline__inputs{margin-top:28px}.outline__inputs-head{font-family:var(--font-serif);font-size:var(--fs-h3);color:var(--ink);margin:0 0 4px;scroll-margin-top:16px;font-weight:500}.outline__inputs-head:focus{outline:none}.outline__inputs-head:focus-visible{outline:var(--focus-ring);outline-offset:4px}.outline__inputs-note{margin:8px 0 0}.outline__empty{font-size:var(--fs-sm);color:var(--ink-2);margin:12px 0 0}.outline__list{margin:0;padding:0;list-style:none}.outline__list .outline__list{border-left:1px solid var(--rule);margin-left:16px;padding-left:0}.orow{border-top:1px solid var(--rule);scroll-margin-bottom:calc(16px + var(--sheet-inset,0px))}.outline__list .outline__list .orow:first-child{border-top:0}.orow__body{border-radius:var(--radius-s);transition:background-color var(--t-hover) var(--ease-out);gap:6px;padding:14px 4px 14px 12px;display:grid}.orow__body.is-selected{background:var(--lit-wash);box-shadow:inset 3px 0 0 var(--lit)}.orow__rel{border-radius:var(--radius-s);min-height:28px;font-size:var(--fs-sm);color:var(--ink-2);cursor:pointer;background:0 0;border:0;justify-self:start;align-items:center;gap:8px;margin:-4px 0 0 -6px;padding:0 6px;display:inline-flex}.orow__rel:hover{color:var(--ink);background:color-mix(in oklab, var(--ink) 5%, transparent)}.orow__rel.is-selected{color:var(--ink);background:var(--lit-wash);box-shadow:inset 0 0 0 1px var(--lit)}.orow__title{font-family:var(--font-serif);font-size:var(--fs-read);color:var(--ink);overflow-wrap:anywhere;margin:0;line-height:1.35}.orow__title.lean{font-family:var(--font-mono);font-size:.9375rem}.orow__actions{flex-wrap:wrap;align-items:center;gap:8px 14px;margin-top:2px;display:flex}.orow__inputs{border:1px solid var(--rule-control);border-radius:var(--radius-m);background:var(--raised);min-height:36px;color:var(--ink);font-size:var(--fs-ui);cursor:pointer;align-items:center;gap:8px;padding:0 12px;display:inline-flex}.orow__inputs:hover{border-color:var(--ink-3)}.orow__inputs[aria-expanded=true]{background:color-mix(in oklab, var(--ink) 6%, var(--raised))}.orow__leaf{font-family:var(--font-serif);font-style:italic;font-size:var(--fs-sm);color:var(--ink-3)}.orow__also{min-height:36px;font-size:var(--fs-sm);color:var(--ink-2);text-align:left}.orow__inspect{min-height:36px}.orow__body--assumption{border-left:1.5px dashed var(--rule-strong);box-shadow:inset 2px 0 #0000}@media (max-width:700px){.outline{padding:16px 16px calc(40px + var(--sheet-inset,0px))}.outline__goal{padding:16px}.orow__inputs,.orow__inspect,.orow__also,.orow__rel{min-height:var(--target)}.orow__body{padding:12px 0 14px 10px}}.panel{z-index:6;width:var(--panel-w);background:var(--surface);min-height:0;box-shadow:var(--shadow-panel);animation:panel-in var(--t-reveal) var(--ease-out) both;flex-direction:column;display:flex;position:absolute;top:0;bottom:0;right:0}.panel--leaving{animation:panel-out var(--t-reveal) var(--ease-exit) both;pointer-events:none}.panel--compact{width:auto;box-shadow:none;background:0 0;animation:none;position:static}@keyframes panel-in{0%{opacity:0;transform:translate(8px)}}@keyframes panel-out{to{opacity:0;transform:translate(8px)}}.panel__head{flex:none;padding:14px 28px 0}.panel--compact .panel__head{padding:4px 0 0}.panel__handle{display:none}.panel__id{min-height:32px;font-size:var(--fs-sm);color:var(--ink-2);flex-wrap:wrap;align-items:center;gap:4px 12px;padding-right:36px;line-height:1.3;display:flex;position:relative}.panel--compact .panel__id{padding-right:0}.panel__src{align-items:center;gap:6px;min-width:0;display:inline-flex}.panel__src .src-sq{width:9px;height:9px}.panel__status{color:var(--ink-3);font-size:var(--fs-sm)}.panel__status--open{color:var(--ink);font-weight:600}.panel__close{width:var(--target);height:var(--target);margin-top:calc(var(--target) / -2);border-radius:var(--radius-m);color:var(--ink-2);cursor:pointer;transition:background-color var(--t-hover) var(--ease-out), color var(--t-hover) var(--ease-out);background:0 0;border:0;place-items:center;padding:0;display:grid;position:absolute;top:50%;right:-10px}.panel__close:hover{background:color-mix(in oklab, var(--ink) 6%, transparent);color:var(--ink)}.panel__back{min-height:var(--target);font-size:var(--fs-ui);color:var(--ink-2);cursor:pointer;background:0 0;border:0;align-items:center;gap:6px;padding:0;display:inline-flex}.panel__title{font-family:var(--font-serif);font-size:var(--fs-title);letter-spacing:-.01em;color:var(--ink);text-wrap:balance;outline:none;margin:6px 0;font-weight:500;line-height:1.15}.panel__title:focus-visible,.step__title:focus-visible,.pane__h:focus-visible{outline:none}.panel__title.lean{font-family:var(--font-mono);letter-spacing:0;color:var(--formal);overflow-wrap:break-word;font-size:1.125rem;line-height:1.35}.title-ghost{will-change:transform;background:var(--surface);border-radius:var(--radius-s);box-shadow:0 0 0 6px var(--surface)}.panel__route{font-size:var(--fs-sm);color:var(--ink-3);margin:0 0 10px}.panel__route-toggle{min-height:28px;font-size:var(--fs-sm);color:var(--ink-3);text-align:left;cursor:pointer;background:0 0;border:0;align-items:center;gap:6px;padding:0;display:inline-flex}.panel__route-toggle strong{color:var(--ink-2);font-weight:600}.panel__route-toggle:hover{color:var(--ink-2)}.panel__route-chev{width:6px;height:6px;transition:transform var(--t-state) var(--ease-out);border-bottom:1.5px solid;border-right:1.5px solid;transform:translateY(-2px)rotate(45deg)}.panel__route-toggle[aria-expanded=true] .panel__route-chev{transform:translateY(1px)rotate(225deg)}.panel__route-list{font-size:var(--fs-sm);color:var(--ink-2);gap:2px;margin:4px 0;padding:0 0 0 18px;display:grid}.panel__route-list li::marker{color:var(--ink-3);font-variant-numeric:tabular-nums}.panel__route-list [aria-current]>span{color:var(--ink);font-weight:600}.panel__route-gap{margin:2px 0}.panel__route-more{color:var(--ink-3)}.panel__peek{display:none}.panel__body{overscroll-behavior:contain;scrollbar-width:thin;flex:1;min-height:0;padding:0 28px 48px;overflow:auto}.panel--compact .panel__body{padding:0;overflow:visible}.panel__body[hidden]{display:none}.jumps{z-index:2;border-bottom:1px solid var(--rule);background:var(--surface);scrollbar-width:none;gap:18px;padding-top:6px;display:flex;position:sticky;top:0;overflow-x:auto}.panel--compact .jumps{background:var(--ground,var(--surface))}.jumps a{font-size:var(--fs-ui);color:var(--ink-3);white-space:nowrap;transition:color var(--t-hover) var(--ease-out), border-color var(--t-hover) var(--ease-out);border-bottom:2px solid #0000;flex:none;margin-bottom:-1px;padding:6px 0 9px;text-decoration:none}.jumps a:hover{color:var(--ink-2)}.jumps a.on{color:var(--ink);border-bottom-color:var(--ink)}.pane{padding:20px 0 10px;scroll-margin-top:44px}.pane+.pane{border-top:1px solid var(--rule)}.pane__h{font-family:var(--font-serif);color:var(--ink);outline:none;margin:0 0 12px;font-size:1.1875rem;font-weight:500;line-height:1.25}.panel__group{font-size:var(--fs-sm);color:var(--ink-2);margin:14px 0 6px;font-weight:600}.panel__group:first-child{margin-top:0}.panel__note,.panel__state{font-size:var(--fs-sm);line-height:var(--lh-snug);color:var(--ink-2);margin-top:8px}.panel__error{font-size:var(--fs-ui);color:var(--ink);margin:16px 0 0}.panel__retry,.acct__retry{min-height:32px;margin-top:8px}.panel__more{font-size:var(--fs-ui);margin-top:12px}.acct__tabs{background:var(--sunk);scrollbar-width:none;border-radius:9px;gap:2px;width:-moz-fit-content;width:fit-content;max-width:100%;padding:2px;display:flex;overflow-x:auto}.acct__tab{min-height:32px;font-size:var(--fs-ui);color:var(--ink-2);white-space:nowrap;cursor:pointer;transition:background-color var(--t-hover) var(--ease-out), color var(--t-hover) var(--ease-out);background:0 0;border:0;border-radius:7px;flex:none;align-items:center;gap:5px;padding:0 12px;display:inline-flex}.acct__tab b{color:var(--ink-3);font-weight:600}.acct__tab:hover{color:var(--ink)}.acct__tab[aria-selected=true]{background:var(--raised);color:var(--ink);box-shadow:0 1px 2px #0000001a, 0 0 0 1px var(--rule);font-weight:600}.acct__panel{outline:none}.acct__direct,.acct__swap{animation:acct-fade var(--t-state) var(--ease-out) both}@keyframes acct-fade{0%{opacity:0}}.acct__state{font-size:var(--fs-sm);line-height:var(--lh-snug);color:var(--ink-2);align-items:baseline;gap:8px;margin:12px 0 10px;display:flex}.acct__state .cov-mark{transform:translateY(1px)}.acct__name{color:var(--ink)}.acct__does{color:var(--ink-3)}.acct__pick{margin:-2px 0 12px}.acct__pick select{border:1px solid var(--rule-control);border-radius:var(--radius-m);background:var(--raised);width:100%;min-height:34px;color:var(--ink);font:inherit;font-size:var(--fs-ui);padding:0 10px}.acct__note{font-size:var(--fs-sm);line-height:var(--lh-snug);color:var(--ink-3);margin:-4px 0 10px}.acct__text.prose{border-left:2px solid var(--rule-strong);max-width:none;font-family:var(--font-serif);color:var(--ink);padding:2px 0 2px 16px;font-size:1.0625rem;line-height:1.55}.acct__text.prose>*{margin:0 0 .6em}.acct__text.prose>:last-child{margin-bottom:0}.acct__text.prose>:has(~[hidden]):not(:has(~:not([hidden]))){margin-bottom:0}.acct__text.prose h1,.acct__text.prose h2,.acct__text.prose h3,.acct__text.prose h4{margin:.2em 0 .4em;font-size:1.0625rem;font-weight:600}.acct__text [hidden]{display:none!important}.acct__actions{flex-wrap:wrap;align-items:center;gap:8px 18px;margin-top:12px;display:flex}.acct__more{min-height:32px}.acct__open{font-size:var(--fs-ui);color:var(--ink);font-weight:600;text-decoration:none}.acct__open:hover{text-decoration:underline}.acct__used{font-size:var(--fs-ui);line-height:var(--lh-snug);gap:6px;margin:0;padding:0;list-style:none;display:grid}.acct__used a{font-family:var(--font-serif);font-size:1rem}.acct__used-as{color:var(--ink-3);font-size:var(--fs-sm)}.acct__source{font-size:var(--fs-ui);color:var(--ink);flex-wrap:wrap;align-items:center;gap:4px 8px;display:flex}.acct__locator{font-size:var(--fs-sm);color:var(--ink-3);flex-basis:100%;padding-left:17px}.caps.panel__lead{margin-bottom:6px;display:block}.panel__statement{font-family:var(--font-serif);color:var(--ink);overflow-wrap:anywhere;font-size:1.0625rem;line-height:1.55}.panel__scope{font-size:var(--fs-sm);line-height:var(--lh-snug);color:var(--ink-2);margin-top:10px}.panel__scope-lead{color:var(--ink);margin-right:4px;font-weight:600}.panel__more-scope{font-size:var(--fs-sm);line-height:var(--lh-snug);color:var(--ink-2);margin-top:8px}.panel__more-scope summary{min-height:28px;color:var(--ink-2);cursor:pointer;padding-top:4px}.panel__more-scope p{margin-top:6px}.panel__lean{background:var(--sunk);border-radius:var(--radius-m);white-space:pre-wrap;overflow-wrap:anywhere;font-size:var(--fs-sm);color:var(--ink-2);margin:0;padding:10px 12px;line-height:1.6}.lk--keyword{color:var(--formal);font-weight:700}.lk--binder{color:var(--ink);font-style:italic}.lk--arrow{color:var(--formal)}.lk--bracket{color:var(--ink-3)}.lk--ident{color:var(--ink)}.lk--number{color:var(--ink-2)}.panel__rels+.panel__rels{margin-top:16px}.rels{border-top:1px solid var(--rule);margin:0;padding:0;list-style:none}.rels li{border-bottom:1px solid var(--rule);transition:background-color var(--t-hover) var(--ease-out);grid-template-columns:30px 128px minmax(0,1fr);align-items:baseline;gap:10px;padding:8px 0;display:grid}.rels li:hover,.rels li:focus-within{background:color-mix(in oklab, var(--lit-wash) 45%, transparent)}.rels .rel-sample{transform:translateY(-4px)}.rels__word{font-size:var(--fs-xs);color:var(--ink-3)}.rels__what{min-width:0;display:grid}.rels__name{font-family:var(--font-serif);color:var(--ink);text-align:left;cursor:pointer;background:0 0;border:0;padding:0;font-size:.96875rem;line-height:1.35}.rels__name:hover{text-decoration:underline;-webkit-text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-underline-offset:.18em}.rels__name.lean{font-family:var(--font-mono);font-size:var(--fs-sm);color:var(--formal);overflow-wrap:anywhere}.rels__meta{font-size:var(--fs-sm);color:var(--ink-3);flex-wrap:wrap;gap:2px 12px;display:flex}.rels__meta:empty{display:none}.rels__inspect{color:var(--ink-2);font-size:var(--fs-sm)}.rels__cite-mark{font-size:var(--fs-sm);color:var(--ink-3)}.panel__trace{flex-wrap:wrap;gap:8px;margin-top:18px;display:flex}.panel__trace .control[aria-pressed=true]{background:var(--lit-wash);border-color:var(--lit);color:var(--ink)}.panel__trace .control:disabled{opacity:.45;cursor:default}.panel__cites{margin-top:18px}.prov__source{font-size:var(--fs-ui);color:var(--ink);align-items:center;gap:8px;display:flex}.prov__locator{font-size:var(--fs-sm);color:var(--ink-3);overflow-wrap:anywhere;margin:2px 0 0 17px}.prov__open{font-size:var(--fs-ui);margin:8px 0 0 17px;font-weight:600}.prov__exact{font-size:var(--fs-sm);color:var(--ink-2);margin-top:10px}.prov__exact summary{cursor:pointer;min-height:28px;padding-top:4px}.prov__exact dl{grid-template-columns:84px minmax(0,1fr);gap:6px 12px;margin:6px 0 0;display:grid}.prov__exact dt{color:var(--ink-3)}.prov__exact dd{overflow-wrap:anywhere;min-width:0;margin:0}.prov__exact code{font-family:var(--font-mono);color:var(--ink);font-size:.78rem}.copy{border:1px solid var(--rule-control);border-radius:var(--radius-s);min-height:22px;font-size:var(--fs-xs);color:var(--ink-2);cursor:pointer;background:0 0;margin-left:4px;padding:0 6px}.prov__cites{font-size:var(--fs-sm);gap:4px;margin:0;padding:0;list-style:none;display:grid}.checks{margin-top:20px}.checks__rows{border-top:1px solid var(--rule);margin:0;padding:0;list-style:none}.checks__row{border-bottom:1px solid var(--rule);font-size:var(--fs-sm);padding:9px 0}.checks__line{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:2px 12px;display:flex}.checks__kind{font-size:var(--fs-ui);color:var(--ink);font-weight:600}.checks__lead{color:var(--ink-2);margin-top:2px}.checks__toggle{font-size:var(--fs-sm);color:var(--ink-3);margin-top:4px}.checks__history{animation:acct-fade var(--t-state) var(--ease-out) both;gap:6px;margin:6px 0 0;padding:0;list-style:none;display:grid}.checks__history li{grid-template-columns:84px minmax(0,1fr) auto;align-items:baseline;gap:10px;display:grid}.checks__label{color:var(--ink-2);overflow-wrap:anywhere}.panel__rel{color:var(--ink-2)}.step__title{font-family:var(--font-serif);color:var(--ink);outline:none;margin:8px 0 6px;font-size:1.25rem;font-weight:500;line-height:1.3}.step__end{font:inherit;color:inherit;text-align:left;text-decoration:underline;text-decoration-thickness:1px;-webkit-text-decoration-color:color-mix(in oklab, currentColor 25%, transparent);text-decoration-color:color-mix(in oklab, currentColor 25%, transparent);text-underline-offset:.22em;cursor:pointer;background:0 0;border:0;padding:0;display:inline}.step__end:hover{text-decoration-color:currentColor}.step__end.lean{font-family:var(--font-mono);color:var(--formal);overflow-wrap:anywhere;font-size:.9em}.step__verb{color:var(--ink-2);font-style:italic}.step__app-status{margin-top:-4px}.step__block{margin-top:14px}.step__shared{border:1px solid var(--rule);border-radius:var(--radius-m);background:var(--sunk);gap:8px;margin:0;padding:10px 14px;display:grid}.step__shared div{grid-template-columns:56px minmax(0,1fr);align-items:baseline;gap:10px;display:grid}.step__shared dt code{font-size:var(--fs-sm);color:var(--formal)}.step__shared dd{font-size:var(--fs-ui);line-height:var(--lh-snug);color:var(--ink);margin:0}.step__premises{border-collapse:collapse;width:100%;font-size:var(--fs-ui);margin-top:14px;line-height:1.4}.step__premises th{border-bottom:1px solid var(--rule-strong);font-size:var(--fs-sm);color:var(--ink-2);text-align:left;width:50%;padding:0 10px 6px 0;font-weight:600}.step__premises td{border-bottom:1px solid var(--rule);vertical-align:top;padding:9px 10px 9px 0}.step__cell{font-family:var(--font-serif);color:var(--ink);text-align:left;cursor:pointer;background:0 0;border:0;padding:0;font-size:.96875rem;line-height:1.35}.step__cell:hover{text-decoration:underline}.step__names{font-size:var(--fs-sm);color:var(--formal);margin-top:2px;display:block}.step__remaining{gap:6px;margin:0;padding:0;list-style:none;display:grid}.step__remaining li{align-items:baseline;gap:10px;display:flex}.step__remaining .rel-sample{transform:translateY(-4px)}.step__warrant{font-size:1rem}.cov-line{font-size:var(--fs-sm);color:var(--ink-2);flex-wrap:wrap;align-items:center;gap:2px 14px;display:flex}.cov-line__item{align-items:center;gap:6px;display:inline-flex}.cov-line__count{min-height:24px;font-size:var(--fs-sm);color:var(--ink-2);cursor:pointer;text-decoration:underline;-webkit-text-decoration-color:color-mix(in oklab, currentColor 30%, transparent);text-decoration-color:color-mix(in oklab, currentColor 30%, transparent);text-underline-offset:.2em;background:0 0;border:0;padding:0 2px;display:inline}.cov-line__count .cov-mark{margin-right:5px}.cov-line__count:hover,.cov-line__count[aria-expanded=true]{color:var(--ink)}.cov-line__title{font-size:var(--fs-sm);color:var(--ink);margin-bottom:6px;font-weight:600}@media (max-width:900px){.panel:not(.panel--compact){width:auto;height:var(--sheet-drag,auto);max-height:calc(100dvh - var(--topbar-h) - 8px);border-top:1px solid var(--rule);border-radius:var(--radius-l) var(--radius-l) 0 0;box-shadow:var(--shadow-sheet);padding-bottom:env(safe-area-inset-bottom,0px);z-index:20;animation-name:sheet-in;position:fixed;inset:auto 0 0}.panel[data-sheet=full]:not(.panel--compact){height:var(--sheet-drag,calc(100dvh - var(--topbar-h) - 8px))}.panel--leaving:not(.panel--compact){animation-name:sheet-out}.panel__handle{cursor:grab;touch-action:none;background:0 0;border:0;flex:none;justify-content:center;align-items:center;height:24px;margin:0;padding:0;display:flex}.panel__grip{background:var(--rule-strong);border-radius:2px;width:40px;height:4px}.panel__head{padding:0 16px}.panel__close{right:-12px}.panel__title{font-size:1.5rem}.panel__body{padding:0 16px 32px}.panel[data-sheet=peek] .panel__head{padding-bottom:16px}.panel[data-sheet=peek] .panel__peek{grid-template-columns:1fr 1fr;gap:10px;margin-top:12px;display:grid}.panel__action{min-height:var(--target);border:1px solid var(--rule-control);border-radius:var(--radius-m);font-size:var(--fs-ui);color:var(--ink);cursor:pointer;background:0 0;padding:0 12px}.panel__action--primary{border-color:var(--ink);background:var(--ink);color:var(--ground);font-weight:600}.rels li{grid-template-columns:26px minmax(0,1fr)}.rels__word{grid-area:1/2}.rels__what{grid-column:2}.step__premises th,.step__premises td{width:auto;display:block}.step__premises thead{display:none}.step__premises td:first-child:before{content:"Premise in this use";font-family:var(--font-sans);font-size:var(--fs-sm);color:var(--ink-2);font-weight:600;display:block}.step__premises td:last-child:before{content:"Recorded supplier";font-size:var(--fs-sm);color:var(--ink-2);font-weight:600;display:block}.step__premises td:first-child{border-bottom:0;padding-bottom:2px}@keyframes sheet-in{0%{opacity:0;transform:translateY(8px)}}@keyframes sheet-out{to{opacity:0;transform:translateY(8px)}}}.dock{z-index:7;min-height:var(--dock-h);background:color-mix(in oklab, var(--ground) 65%, var(--surface));border-top:1px solid var(--rule);padding:8px 22px 12px;position:absolute;bottom:0;left:0;right:0}.dock--collapsed{min-height:0;height:var(--dock-bar-h);padding:0;container-type:inline-size}@container (width<=860px){.dockbar__name{display:none}}@container (width<=620px){.dockbar__lit{display:none}}.dockbar{width:100%;height:100%;color:var(--ink);font:inherit;text-align:left;cursor:pointer;transition:background-color var(--t-hover) var(--ease-out);background:0 0;border:0;align-items:center;gap:22px;padding:0 22px;display:flex}.dockbar:hover{background:color-mix(in oklab, var(--ink) 3%, transparent)}.dockbar:focus-visible{outline:var(--focus-ring);outline-offset:-3px}.dockbar__title{white-space:nowrap;font-size:.84375rem;font-weight:600}.dockbar__strips{flex:1;gap:18px;min-width:0;display:flex}.dockbar__strip{flex:1;align-items:center;gap:8px;min-width:0;display:flex}.dockbar__name{font-size:var(--fs-xs);color:var(--ink-3);white-space:nowrap}.dockbar__bars{flex:1;min-width:24px;height:5px;overflow:visible}.strip__track{fill:color-mix(in oklab, var(--ink) 22%, transparent)}.dockbar__seg{fill:color-mix(in oklab, var(--cat,var(--src-0)) 70%, var(--ground))}.dockbar__seg--example{fill:color-mix(in oklab, var(--ink-3) 35%, var(--ground))}.dockbar__seg--lit{fill:var(--lit)}.dockbar__lit{font-size:var(--fs-sm);color:var(--lit);white-space:nowrap}.dockbar__open,.dock__toggle{font-size:var(--fs-sm);color:var(--ink-2);white-space:nowrap;align-items:center;gap:5px;display:inline-flex}.dock__head{align-items:baseline;gap:14px;min-height:24px;margin-bottom:8px;display:flex}.dock__title{white-space:nowrap;font-size:.84375rem;font-weight:600}.dock__hint{min-width:0;font-size:var(--fs-sm);color:var(--ink-2);text-wrap:pretty;flex:1;line-height:1.4}.dock__toggle{border-radius:var(--radius-s);cursor:pointer;background:0 0;border:0;min-height:24px;margin-left:auto;padding:0 6px}.dock__toggle:hover{color:var(--ink)}.dock__body{grid-template-columns:176px 1fr;gap:16px;display:grid}.dock__labels{flex-direction:column;display:flex}.dock__label{border-radius:var(--radius-m);cursor:pointer;font-size:var(--fs-ui);color:var(--ink);transition:background-color var(--t-press) var(--ease-out), border-color var(--t-press) var(--ease-out);background:0 0;border:1px solid #0000;justify-content:space-between;align-items:center;gap:8px;padding:0 10px;display:flex}.dock__label:hover{background:color-mix(in oklab, var(--ink) 5%, transparent)}.dock__label[aria-pressed=true]{border-color:var(--lit);background:var(--lit-wash)}.dock__label-name{font-family:var(--font-serif);white-space:nowrap;font-size:.98rem}.dock__label-meta{font-size:var(--fs-xs);color:var(--ink-3);white-space:nowrap}.dock__area{min-width:0;position:relative}.dock__svg{display:block;overflow:visible}.strip__line,.strip__tick{stroke:var(--rule-strong);stroke-width:1px}.strip{transition:opacity var(--t-state) var(--ease-out)}.strip--dimmed{opacity:.35}.seg{cursor:pointer;outline:none}.seg:focus-visible .seg__hit{fill:none;stroke:var(--lit);stroke-width:2px}.seg__hit{fill:#0000}.seg__mark{fill:color-mix(in oklab, var(--cat,var(--src-0)) 70%, var(--ground));fill-opacity:1;transition:fill-opacity var(--t-press) var(--ease-out)}.seg--example .seg__mark{fill:var(--ground);stroke:var(--ink-3);stroke-width:1px;stroke-dasharray:2 2}.seg:hover .seg__mark,.seg:focus-visible .seg__mark,.seg--active .seg__mark{fill:var(--cat,var(--src-0));stroke:var(--lit);stroke-width:1.5px;stroke-dasharray:none}.seg--related .seg__mark{fill:var(--cat,var(--src-0))}.thread{fill:none;stroke-width:1px;vector-effect:non-scaling-stroke}.thread--rest{stroke:var(--ink-3);stroke-opacity:.4}.thread--active{stroke:var(--lit-line);stroke-opacity:.95;stroke-width:1.5px}.thread--shared_claim.thread--active{stroke:var(--ink-3);stroke-opacity:.55;stroke-width:1px}.thread--illustrates{stroke-dasharray:3 2}.thread--answers{stroke-dasharray:1 2.5;stroke-linecap:round}.dock-tip{background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius-m);width:300px;box-shadow:var(--shadow-sheet);pointer-events:none;z-index:2;padding:10px 12px;position:absolute;bottom:calc(100% + 30px)}.dock-tip__title{font-family:var(--font-serif);font-size:var(--fs-base);line-height:1.3}.dock-tip__meta{font-size:var(--fs-sm);color:var(--ink-2);line-height:var(--lh-snug);margin-top:4px}@media (max-width:900px){.dock{display:none}}.strip--selecting .seg:not(.seg--lit) .seg__mark{fill-opacity:.4}.seg--lit .seg__mark{fill:var(--lit);fill-opacity:.9}.seg__halo{fill:none;stroke:var(--lit-line);stroke-width:1.5px;transform-box:fill-box;transform-origin:50%;animation:seg-pulse .52s var(--ease-out) both}.seg__pin{fill:var(--lit)}@keyframes seg-pulse{0%{opacity:0;transform:scale(1.6,2.2)}40%{opacity:1}to{opacity:1;transform:scale(1)}}.dock__label-meta--lit{color:var(--lit);font-weight:600}.map-page{flex:1;grid-template-rows:auto auto minmax(0,1fr) auto;grid-template-columns:minmax(0,1fr) auto;min-height:0;display:grid;overflow:hidden}.map-page__main{flex-direction:column;grid-area:3/1;min-width:0;min-height:0;display:flex;position:relative}.map-page__main>.tree,.map-page__main>:not(.map-note):not(.map-controls){flex:1;min-height:0}.map-page>.panel{grid-area:2/2/5;height:auto;min-height:0;position:relative;top:auto;bottom:auto;right:auto}.map-page>.dock{grid-area:4/1;min-width:0;position:relative;bottom:auto;left:auto;right:auto}.map-note{z-index:8;text-align:center;background:var(--surface);border:1px solid var(--rule-strong);max-width:calc(100% - 32px);box-shadow:var(--shadow-sheet);font-size:var(--fs-sm);color:var(--ink-2);animation:map-note-in var(--t-reveal) var(--ease-out) both;border-radius:16px;flex-wrap:wrap;justify-content:center;align-items:baseline;gap:0 6px;margin:0;padding:7px 16px;display:flex;position:absolute;top:12px;left:50%;transform:translate(-50%)}.map-note .linklike{min-width:0;color:var(--ink);text-align:center;font-weight:600}@keyframes map-note-in{0%{opacity:0;transform:translate(-50%,-4px)}}.map-head{min-height:64px;padding:6px var(--space-5);background:var(--ground);border-bottom:1px solid var(--rule);grid-area:1/1/auto/-1;grid-template-columns:minmax(0,1fr) auto auto auto;grid-template-areas:"title views acct key";align-items:center;column-gap:24px;min-width:0;display:grid}.goal-menu{grid-area:title;justify-items:start;min-width:0;display:grid;position:relative}.goal-menu__label{font-size:var(--fs-sm);color:var(--ink-3);line-height:1.2}.goal-menu__button{border-radius:var(--radius-m);max-width:100%;min-height:32px;color:var(--ink);font-family:var(--font-serif);letter-spacing:-.005em;text-align:left;cursor:pointer;transition:background-color var(--t-hover) var(--ease-out);background:0 0;border:0;align-items:center;gap:8px;margin-left:-8px;padding:0 8px;font-size:1.1875rem;font-weight:500;line-height:1.2;display:inline-flex}.goal-menu__button:hover,.goal-menu__button[aria-expanded=true]{background:color-mix(in oklab, var(--ink) 5%, transparent)}.goal-menu__title{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.goal-menu__chev{color:var(--ink-3);transition:transform var(--t-hover) var(--ease-out);flex:none}.goal-menu__chev.is-open{transform:rotate(180deg)}.goal-menu__measure{visibility:hidden;pointer-events:none;max-width:none;position:absolute;top:0;left:0}.goal-menu__menu{z-index:30;background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius-l);width:min(560px,100vw - 32px);box-shadow:var(--shadow-sheet);animation:keypop-in var(--t-reveal) var(--ease-out) both;padding:6px;position:absolute;top:calc(100% + 6px);left:-8px}.goal-menu__menu[hidden]{display:none}.goal-menu__item{border-radius:var(--radius-m);width:100%;color:var(--ink);text-align:left;cursor:pointer;background:0 0;border:0;grid-template-columns:16px minmax(0,1fr);gap:2px 8px;padding:9px 10px;display:grid}.goal-menu__item:hover,.goal-menu__item:focus-visible{background:color-mix(in oklab, var(--ink) 5%, transparent)}.goal-menu__tick{color:var(--ink);visibility:hidden;grid-row:1;align-self:center}.goal-menu__item[aria-checked=true] .goal-menu__tick{visibility:visible}.goal-menu__name{font-family:var(--font-serif);font-size:var(--fs-card);grid-column:2;line-height:1.3}.goal-menu__item[aria-checked=true] .goal-menu__name{font-weight:600}.goal-menu__where{font-size:var(--fs-sm);color:var(--ink-2);grid-column:2}.map-views{background:var(--sunk);box-shadow:inset 0 0 0 1px var(--rule);border-radius:10px;grid-area:views;align-items:center;padding:3px;display:flex;position:relative}.map-views__thumb{background:var(--raised);box-shadow:0 0 0 1px var(--rule-strong), 0 1px 2px #00000014;transition:transform var(--t-state) var(--ease-move), width var(--t-state) var(--ease-move);border-radius:7px;position:absolute;top:3px;bottom:3px;left:0}.map-views button{height:30px;color:var(--ink-2);font-size:var(--fs-ui);white-space:nowrap;cursor:pointer;transition:color var(--t-hover) var(--ease-out);background:0 0;border:0;border-radius:7px;padding:0 14px;position:relative}.map-views button:hover,.map-views button[aria-pressed=true]{color:var(--ink)}.map-views button[aria-pressed=true]{font-weight:600}@media (prefers-reduced-motion:reduce){.map-views__thumb{transition:none}}.acct-picker{grid-area:acct;align-items:center;gap:8px;min-width:0;display:flex;position:relative}.acct-picker__label{font-size:var(--fs-sm);color:var(--ink-3);white-space:nowrap}.acct-picker__button{border:1px solid var(--rule-control);border-radius:var(--radius-m);background:var(--raised);height:32px;color:var(--ink);font-size:var(--fs-ui);white-space:nowrap;cursor:pointer;align-items:center;gap:8px;padding:0 12px;display:inline-flex}.acct-picker__button:hover{border-color:var(--ink-3)}.acct-picker__pop{z-index:30;background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius-l);max-width:calc(100vw - 32px);box-shadow:var(--shadow-sheet);animation:keypop-in var(--t-reveal) var(--ease-out) both;padding:12px;position:absolute;top:calc(100% + 8px);right:0}.map-head__key{border-radius:var(--radius-m);height:32px;color:var(--ink-2);font-size:var(--fs-ui);white-space:nowrap;cursor:pointer;transition:background-color var(--t-hover) var(--ease-out), color var(--t-hover) var(--ease-out);background:0 0;border:0;grid-area:key;justify-self:end;align-items:center;gap:7px;padding:0 10px;display:inline-flex}.map-head__key:hover{color:var(--ink);background:color-mix(in oklab, var(--ink) 5%, transparent)}.map-head__key[aria-expanded=true]{color:var(--ink);background:color-mix(in oklab, var(--ink) 7%, transparent)}@keyframes keypop-in{0%{opacity:0;transform:translateY(-4px)}}.keyrow{min-width:0;padding:9px var(--space-5);background:var(--ground);border-bottom:1px solid var(--rule);font-size:var(--fs-sm);color:var(--ink-2);flex-wrap:wrap;grid-area:2/1;align-items:center;gap:6px 28px;line-height:1.3;display:flex}.keyrow[hidden]{display:none}.keyrow__sources,.keyrow__marks{flex-wrap:wrap;align-items:center;gap:6px 18px;margin:0;padding:0;list-style:none;display:flex}.keyrow__marks li{align-items:center;gap:8px;display:inline-flex}.keyrow__marks .map-key__sample{flex:none;width:36px;overflow:visible}.keyrow__tag{border:1.5px dotted var(--rel-assumes);background:var(--card);border-radius:8px;flex:none;width:30px;height:16px}.keyrow__clone{border:1px solid var(--card-border,var(--rule-strong));background:var(--card);border-radius:4px;flex:none;width:28px;height:18px;position:relative;overflow:hidden}.keyrow__clone:after{content:"";background:color-mix(in oklab, var(--src-1) 35%, var(--card));height:4px;position:absolute;bottom:0;left:0;right:0}.keyrow__more a{color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:3px}.keyrow__more a:hover{text-decoration-color:currentColor}.map-key__sources{flex-wrap:wrap;gap:2px 16px;margin:0;padding:0;list-style:none;display:flex}.map-key__sources li{align-items:center;gap:6px;display:inline-flex}.map-key__swatch{background:color-mix(in oklab, var(--cat,var(--src-0)) var(--mark-mix), var(--ground));border:1px solid color-mix(in oklab, var(--cat,var(--src-0)) 85%, var(--ground));border-radius:3px;width:12px;height:12px}.map-controls{z-index:8;background:var(--surface);border:1px solid var(--rule-strong);border-radius:var(--radius-l);box-shadow:var(--shadow-sheet);gap:2px;padding:3px;display:flex;position:absolute;right:16px}.map-controls__button{border-radius:var(--radius-m);height:32px;color:var(--ink);font-size:var(--fs-ui);white-space:nowrap;cursor:pointer;transition:background-color var(--t-hover) var(--ease-out);background:0 0;border:0;align-items:center;gap:7px;padding:0 11px 0 9px;display:inline-flex}.map-controls__button:hover{background:color-mix(in oklab, var(--ink) 6%, transparent)}.map-controls__button[aria-disabled=true]{color:var(--ink-3);cursor:default;background:0 0}.map-controls__button svg{color:var(--ink-2);flex:none}.check{grid-template-columns:14px auto 1fr;align-items:baseline;gap:8px;display:grid}.check__mark{border:1.5px solid var(--ink-3);border-radius:50%;width:9px;height:9px;transform:translateY(1px)}.check--passed .check__mark{background:var(--ink-2);border-color:var(--ink-2)}.check--failed .check__mark{border-color:var(--fail);border-radius:1px;transform:translateY(1px)rotate(45deg)scale(.85)}.check__kind{color:var(--ink);white-space:nowrap;font-weight:600}.check__outcome{color:var(--ink-2)}.linklike{color:inherit;font:inherit;text-decoration:underline;-webkit-text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-underline-offset:.18em;cursor:pointer;background:0 0;border:0;padding:0}@media (max-width:68.75em){.map-head{padding:6px var(--space-4);column-gap:16px}.acct-picker__label{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.map-views button{padding:0 11px}.keyrow{padding-inline:var(--space-4)}}@media (max-width:900px){.map-page>.panel{width:auto;height:var(--sheet-drag,auto);grid-area:auto;max-height:55dvh;position:fixed;inset:auto 0 0}.map-page>.panel[data-sheet=full]{height:var(--sheet-drag,calc(100dvh - var(--topbar-h) - 8px));max-height:none}.map-page{grid-template-columns:minmax(0,1fr)}}@media (max-width:43.75em){.map-head{padding:6px var(--space-4) 8px;grid-template-columns:minmax(0,1fr) auto;grid-template-areas:"title key""views acct";gap:6px 8px}.goal-menu__button,.map-head__key,.acct-picker__button{min-height:var(--target)}.map-head__key{margin-right:-8px}.map-views{min-width:0}.map-views button{flex:auto;min-width:0;height:38px;padding:0 10px}.map-controls__button{height:38px}}@media (max-width:23.75em){.map-head{grid-template-areas:"title key""views views""acct acct"}.acct-picker{justify-self:start}.acct-picker__pop{left:0;right:auto}.map-controls__button{padding:0 8px}}.acct-switch{flex:none;gap:3px;display:grid;position:relative}.acct-switch__group{border:1px solid var(--rule);border-radius:var(--radius-m);gap:2px;padding:2px;display:inline-flex}.acct-switch__item{border-radius:calc(var(--radius-m) - 2px);font-size:var(--fs-sm);color:var(--ink-2);white-space:nowrap;cursor:pointer;transition:background-color var(--t-press) var(--ease-out);background:0 0;border:0;padding:3px 9px}.acct-switch__item:hover{background:color-mix(in oklab, var(--ink) 5%, transparent)}.acct-switch__item[aria-checked=true]{background:var(--lit-wash);color:var(--ink);box-shadow:inset 0 0 0 1px var(--lit)}.acct-switch__caption{font-size:var(--fs-xs);color:var(--ink-3);white-space:nowrap}.acct-switch__pop{z-index:30;background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius-m);width:360px;max-height:320px;box-shadow:var(--shadow-sheet);white-space:normal;padding:10px 12px;position:absolute;top:calc(100% + 6px);left:0;overflow:auto}.acct-switch__pop ul{gap:8px;margin:0;padding:0;list-style:none;display:grid}.acct-switch__pop li{gap:1px;display:grid}.acct-switch__name{font-family:var(--font-serif);color:var(--ink);text-align:left;justify-self:start;font-size:.95rem;line-height:1.3}.acct-switch__why{font-size:var(--fs-xs);color:var(--ink-2)}@media (max-width:900px){.acct-switch__group{max-width:100%;overflow-x:auto}}