Deploy documentation and coverage

assets/highlight.css

@@ -0,0 +1,71 @@
+:root {
+    --light-hl-0: #267F99;
+    --dark-hl-0: #4EC9B0;
+    --light-hl-1: #000000;
+    --dark-hl-1: #D4D4D4;
+    --light-hl-2: #001080;
+    --dark-hl-2: #9CDCFE;
+    --light-hl-3: #A31515;
+    --dark-hl-3: #CE9178;
+    --light-hl-4: #008000;
+    --dark-hl-4: #6A9955;
+    --light-hl-5: #0000FF;
+    --dark-hl-5: #569CD6;
+    --light-hl-6: #795E26;
+    --dark-hl-6: #DCDCAA;
+    --light-code-background: #FFFFFF;
+    --dark-code-background: #1E1E1E;
+}
+
+@media (prefers-color-scheme: light) { :root {
+    --hl-0: var(--light-hl-0);
+    --hl-1: var(--light-hl-1);
+    --hl-2: var(--light-hl-2);
+    --hl-3: var(--light-hl-3);
+    --hl-4: var(--light-hl-4);
+    --hl-5: var(--light-hl-5);
+    --hl-6: var(--light-hl-6);
+    --code-background: var(--light-code-background);
+} }
+
+@media (prefers-color-scheme: dark) { :root {
+    --hl-0: var(--dark-hl-0);
+    --hl-1: var(--dark-hl-1);
+    --hl-2: var(--dark-hl-2);
+    --hl-3: var(--dark-hl-3);
+    --hl-4: var(--dark-hl-4);
+    --hl-5: var(--dark-hl-5);
+    --hl-6: var(--dark-hl-6);
+    --code-background: var(--dark-code-background);
+} }
+
+:root[data-theme='light'] {
+    --hl-0: var(--light-hl-0);
+    --hl-1: var(--light-hl-1);
+    --hl-2: var(--light-hl-2);
+    --hl-3: var(--light-hl-3);
+    --hl-4: var(--light-hl-4);
+    --hl-5: var(--light-hl-5);
+    --hl-6: var(--light-hl-6);
+    --code-background: var(--light-code-background);
+}
+
+:root[data-theme='dark'] {
+    --hl-0: var(--dark-hl-0);
+    --hl-1: var(--dark-hl-1);
+    --hl-2: var(--dark-hl-2);
+    --hl-3: var(--dark-hl-3);
+    --hl-4: var(--dark-hl-4);
+    --hl-5: var(--dark-hl-5);
+    --hl-6: var(--dark-hl-6);
+    --code-background: var(--dark-code-background);
+}
+
+.hl-0 { color: var(--hl-0); }
+.hl-1 { color: var(--hl-1); }
+.hl-2 { color: var(--hl-2); }
+.hl-3 { color: var(--hl-3); }
+.hl-4 { color: var(--hl-4); }
+.hl-5 { color: var(--hl-5); }
+.hl-6 { color: var(--hl-6); }
+pre, code { background: var(--code-background); }

assets/navigation.js

@@ -0,0 +1 @@
+window.navigationData = "data:application/octet-stream;base64,H4sIAAAAAAAAA5WWTU/DMAyG/0vOEzDE+NiVL+06uE2oqjKPFbqkSjy0CfHfCR1t08SuUu2W2s/7Jk7srb4FwgHFXLy+FOoDDmIiqhy3bmGn1/sS7Pn/h7Mt7kr39bNQazG/nAi5Lcq1ASXmKx4iy9xaD0LCppe3P28/k5ayBqlNjtpYQcssHENibLVLzE4hSaZD2mavJBZaUTwKe33Vc7+E98IimEF7TVCSwZhIWmyZNJyxuVAWcyUhyW4TPMp2rDBov9UYFq2342+ohTKXxrB1aTMzM6YsMbDbF4Gk2UFVDFhdfhHF8IF1SKLFAEc7PAFJcHTMWygrMOeLXVXCDhTaF8yxkLHjU2AWBqY9SZbebYDjDwsG5+3WqJ5XLwdOe1mujptcAnfXHg8SquYyRuwmOevCkk7lASpwxpQ8Lv9Ktf/LfDRGezew6be0CAuI+/Ek7OmjhPyc4V6/6DwNHpUXl3aDKG7H49C8zOy675udlz55zOyMiYzdBsrQndHYZjxCEuHMoGJEgm6TrEF1NFIiGw3PqDr6lcRjxb7jZ1BgCnmvFZq9RE0Mjzo9iwKTSv6kjQSXYyN6TWXZYV4gdnF3M535/aojjFWKM2mt3tNQBT5ACe85EoPspOTHJP5Jo6C++R5ygN86dr9fqSxli/8KAAA="

assets/search.js

@@ -0,0 +1 @@
+window.searchData = "data:application/octet-stream;base64,H4sIAAAAAAAAA8WbS2/jNhDHv4t99Trm01au3W2Ra7boJQiMwGayah3ZkJV0F0G+eymJkjiaoUzZKXJy5HD+8+CPzyhvk3z/73Fyffc2+SfNtpNrPptkD89mcj3583ua/W1+TmaTl3xnn5/325edOV657+c/iued/eVm93A8GisxmbzPGhXGV0EdZ9DqhPVmk8NDbrLCE/FcLLhsfazT7Fg8ZBsT5WXqN+/8Fcftl/T45ZCnrw+FIbzPcRR8IbtMn0xxMyoOaDCY+SnfuXlKj4XJ4xw3rb/wy/0e97vXyHxd47O8KtahudnbquUvm2IfmS80uKzLIXhbczDZ1mSb1ArGwdcz+UAAz4PgMxA4x2fr0D4S81L17eCs1ClszWafP1gajlc31s2mQGpdi3XdYlBZd0T09B5fsk2RWvwIxaCwVw8cqedVKaE7FNfFr4MZ63jqfm6tI8OYg49TRb7tg0mUuWkTW2ikSWbcqg7I03m2+pcUnHY/bZ/iy46ViAAHi4/WpoFOaNqO7QzkY7AqrZcIt8NVaf1+RGcNhzVF347vxLCHgYS6zu2iRzN+06dtk3U+clwhyc4bITqg7pWACPhUXnBNodKqWsRnBQXppGrJsHQgpVqayuiH2R1MfnXzfNiZZ2t4/F48FOkG5VW3W/fbRS86If0uypCHCJde1qF8Rg+7UeFM0bcnhlwgTKw+kIi/37DAPj5sbD99+7kxhyoDYv/RtFp3rcaekr7lObGnpaV9k+FeoxMYv7eOjCO43T4ZE9AKVOprs33+dVsOvJfScEzZgvafWcPhoC4oaLhaJ0i/6SyHUPeaDe+9VTcpUNKe54D6sCe6EL6nwAlu+xGxTIHKmLDmcSHmZmOPhNsLQ+xUPiBEmprQrZEfZcwNEuDFGaxPpd8ItwbxoJxxtTMqiKi7HiKgTib60D8uLvIWwN1EpNkPk6c1MZcGCbdfY2PElwYfEiIBGTpWRoYad74cgdy5/QpPmicveYZqRZ0wyZKd1bm3MdvsUQW7OIyT11PD1ULnAKJYY8P7dJ7+h2nig3vw4ycJcpkrTxzHqz9MZrU2v+2z/g6vWeqqdmvUbni5WyRLpjpfnTXaSNZhhJxgw2GAQknRG9vece6sUKYnzm6BiAi5gfr9vs83Znz1+mafVjsykHMrh4oRpvsmS4uvZmee6j9AUGD7TUYxTWr7ZQDKJ9ygtIF65HVEvPO40gc1vIAkS6RYyP7Bf+DPGdOuSWgR2IIpq+8i8CcOz0Pb4jwHwet9z8Xt6Y1InJPgNTbhLGLHPew0dA/p+Tq9ZTjl4nTx2r/XsvMhQIcoigOv0WVuYpAg2l7q9GRv4aaXuYzxdcHAHZiNwfAF7c5zNrDlIFySrc9zHFyrCbdE20Gn9zP30/Xb5NXkx3Sf2V/yuZgntvVjanbb8u2XOhSrtX8uL4PtT9v95qX68d41+8uU/srGdeurxWR2t5jxZJ6o5f397K4xrn5RfdFodN9UhixkyJAhA4bcPrGZWM2lAHYc2XFgJ+wTnwkxF5wDQ4EMBTCU9knMmI10CQ0lMpTAUNknOeO2zkIDQ4UMFTDU9klRtdHIUAPDpX3SRG2WyG4J7FahFFfIcAUMk1CKCTJMYPeXNCyJUBkGh/XIKXlYUaYEOpAdViKRUBAwjA+D/LCSCragkmUYIQYZYiUZjMKWYYoYxIipUO8wDBKDJDEdDhrDxCBNrITE7t2JoDFQDBLFSk6YIEuNoWKQKpaEo8ZgMUgWL2lhkpohMFocosVZqNQcs8V781I1MSnKLzE1Qba4CI0jjtHiEC1eoUWNeo7R4hAtXtLCqGHIMVocosXDaHGMFodo8QotahBzjBaHaPEKrYSyxWRxSBZPQlMrx2BxCJYoWeELwq/AYAkIlmAhvwKDJSBYomSFU3OHwGCJ3qJXrXrUEBbEsgfBEiUrXFC2GCwBwRIlK5wahAKDJSBYokSFUwNJYK4E5EqUqHBNLvMYLAHBEqvgFgGDJSBYIgnNHAKDJSBYchEa/RKDJSFYsmSFL6mgJSZLQrIkD25tMFkSkiUrslakY4yW7G2pZDBjYlMF0ZIVWuQiLjFbErIldTBjzJaEbMllMGiMloRoyWqHRc0dEqMlIVqyQouRCWO2JGRLLYKztMJwKQiXqpZDckQoDJeCcCke9ozpUpAuVfIiqLlHYbgUhEtVG3ZJRo3pUr09uwpHTWzbIV2qBIY81ChMl4J0qRIYkmqF6VKQLhXcvytMl4J0qSS4UVOYLgXp0sGZS2O4NIRLB/daGrOlIVuaB6d5jdnSkC0tglOmxnBpCJeWwWlPY7g0hEuHpy6N4dK9Q6EOYq2JcyGkSy+Dc4jGeGmIl14FpwGN+XJfVXcOryYvzPamvnu4u2tvnt/K/1WpvrRDzd2AvE3smen67X02sceQ+jOpP7l7trNT/cndpyo/37sLi+rb9s6i/F0ZWe9fDTrfunO9jFPq/mPGy6BT4VEq4DWmTkd1Oi5f7vK3+8EYXe8N29TdZHfqK6/Mo+W6y1kvbS9ve2A9U5EsKPeU4zrGf/GoE7J711ZIxIbYCOXti2Kmfq3O0/WYFYtY3fa1I09IekJxMD+WV38BgoRXOMVqATsao2SJd6m9HvHi5HEJEy8xe3oe6zxu0DzVN62hzD0YpRs1Og6dJ1NQEHqldLOSiKuke+k2bV+pPbp3kb30vYmHx3GZBgj3wxRxSkOBLb3A4nh0/4XUaXgSLA6VNEuLbXtv73WqR52SrlN1pGR//ku8sJrlIw4Q7w0J47337FXNm1v5aM1Qz3pEi7gh4osWR/c3F0/RG3QisoyUjFdJqVyvRLLi5NZAzxsMYun0IhN2etSUxT0OZTMXRo6QVhZNXNzraunmBR03gqkgvfXJ8b2qP5grLHeRCzenSYeubHZErr2OW9IHV10vGOZkVRIpiwrlD93aqtnLuapJt5eTLnHZdH3cnEGA6S3KTtsVT8XB7iTRas884HncGlC/B9EtWdSK5YUrx6gGZ0uv/1QE6HZ/fkgPZpdm1uTu/v39PygGObgFPwAA";