Something went wrong. Try again.
[[MIRROR from GitHub]] Property based testing framework for JavaScript (like QuickCheck) written in TypeScript fast-check.dev
Something went wrong. Try again.
5.9 kB · 111 lines
CSS
at main
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112/** * Any CSS included here will be global. The classic template * bundles Infima by default. Infima is a CSS framework designed to * work well for content-centric websites. */
/* You can override the default Infima variables here. */:root { --ifm-color-primary: rgb(40, 46, 169); --ifm-color-primary-dark: rgb(36, 41, 152); --ifm-color-primary-darker: rgb(32, 36, 135); --ifm-color-primary-darkest: rgb(28, 31, 118); --ifm-color-primary-light: rgb(44, 51, 186); --ifm-color-primary-lighter: rgb(48, 56, 203); --ifm-color-primary-lightest: rgb(52, 61, 220); --ifm-code-font-size: 95%; --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.1); --fc-banner-background-color: rgb(40, 46, 169); --ifm-footer-link-hover-color: #abadeb; /* The primary of Dark mode, default being: var(--ifm-color-primary)*/}
/* For readability concerns, you should choose a lighter palette in dark mode. */[data-theme='dark'] { --ifm-color-primary: #abadeb; --ifm-color-primary-dark: #8a8de3; --ifm-color-primary-darker: #7a7ddf; --ifm-color-primary-darkest: #494dd4; --ifm-color-primary-light: #cccdf3; --ifm-color-primary-lighter: #dcddf7; --ifm-color-primary-lightest: #ffffff; --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.3); --fc-banner-background-color: rgb(52, 61, 220);}
.header-bluesky-link:hover { opacity: 0.6;}
.header-bluesky-link::before { content: ''; width: 24px; height: 24px; display: flex; background: url("data:image/svg+xml,%3Csvg viewBox='0 0 600 530' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath fill='currentColor' d='m135.72 44.03c66.496 49.921 138.02 151.14 164.28 205.46 26.262-54.316 97.782-155.54 164.28-205.46 47.98-36.021 125.72-63.892 125.72 24.795 0 17.712-10.155 148.79-16.111 170.07-20.703 73.984-96.144 92.854-163.25 81.433 117.3 19.964 147.14 86.092 82.697 152.22-122.39 125.59-175.91-31.511-189.63-71.766-2.514-7.3797-3.6904-10.832-3.7077-7.8964-0.0174-2.9357-1.1937 0.51669-3.7077 7.8964-13.714 40.255-67.233 197.36-189.63 71.766-64.444-66.128-34.605-132.26 82.697-152.22-67.108 11.421-142.55-7.4491-163.25-81.433-5.9562-21.282-16.111-152.36-16.111-170.07 0-88.687 77.742-60.816 125.72-24.795z'/%3E%3C/svg%3E") no-repeat; background-position: center;}
[data-theme='dark'] .header-bluesky-link::before { background: url("data:image/svg+xml,%3Csvg viewBox='0 0 600 530' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath fill='white' d='m135.72 44.03c66.496 49.921 138.02 151.14 164.28 205.46 26.262-54.316 97.782-155.54 164.28-205.46 47.98-36.021 125.72-63.892 125.72 24.795 0 17.712-10.155 148.79-16.111 170.07-20.703 73.984-96.144 92.854-163.25 81.433 117.3 19.964 147.14 86.092 82.697 152.22-122.39 125.59-175.91-31.511-189.63-71.766-2.514-7.3797-3.6904-10.832-3.7077-7.8964-0.0174-2.9357-1.1937 0.51669-3.7077 7.8964-13.714 40.255-67.233 197.36-189.63 71.766-64.444-66.128-34.605-132.26 82.697-152.22-67.108 11.421-142.55-7.4491-163.25-81.433-5.9562-21.282-16.111-152.36-16.111-170.07 0-88.687 77.742-60.816 125.72-24.795z'/%3E%3C/svg%3E") no-repeat;}
@media screen and (max-width: 996px) { .header-bluesky-link::after { content: 'Bluesky'; padding-left: 0.2em; }}
.header-github-link:hover { opacity: 0.6;}
.header-github-link::before { content: ''; width: 24px; height: 24px; display: flex; background: url("data:image/svg+xml,%3Csvg viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath d='M12 .297c-6.63 0-12 5.373-12 12 0 5.303 3.438 9.8 8.205 11.385.6.113.82-.258.82-.577 0-.285-.01-1.04-.015-2.04-3.338.724-4.042-1.61-4.042-1.61C4.422 18.07 3.633 17.7 3.633 17.7c-1.087-.744.084-.729.084-.729 1.205.084 1.838 1.236 1.838 1.236 1.07 1.835 2.809 1.305 3.495.998.108-.776.417-1.305.76-1.605-2.665-.3-5.466-1.332-5.466-5.93 0-1.31.465-2.38 1.235-3.22-.135-.303-.54-1.523.105-3.176 0 0 1.005-.322 3.3 1.23.96-.267 1.98-.399 3-.405 1.02.006 2.04.138 3 .405 2.28-1.552 3.285-1.23 3.285-1.23.645 1.653.24 2.873.12 3.176.765.84 1.23 1.91 1.23 3.22 0 4.61-2.805 5.625-5.475 5.92.42.36.81 1.096.81 2.22 0 1.606-.015 2.896-.015 3.286 0 .315.21.69.825.57C20.565 22.092 24 17.592 24 12.297c0-6.627-5.373-12-12-12'/%3E%3C/svg%3E") no-repeat;}
[data-theme='dark'] .header-github-link::before { background: url("data:image/svg+xml,%3Csvg viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath fill='white' d='M12 .297c-6.63 0-12 5.373-12 12 0 5.303 3.438 9.8 8.205 11.385.6.113.82-.258.82-.577 0-.285-.01-1.04-.015-2.04-3.338.724-4.042-1.61-4.042-1.61C4.422 18.07 3.633 17.7 3.633 17.7c-1.087-.744.084-.729.084-.729 1.205.084 1.838 1.236 1.838 1.236 1.07 1.835 2.809 1.305 3.495.998.108-.776.417-1.305.76-1.605-2.665-.3-5.466-1.332-5.466-5.93 0-1.31.465-2.38 1.235-3.22-.135-.303-.54-1.523.105-3.176 0 0 1.005-.322 3.3 1.23.96-.267 1.98-.399 3-.405 1.02.006 2.04.138 3 .405 2.28-1.552 3.285-1.23 3.285-1.23.645 1.653.24 2.873.12 3.176.765.84 1.23 1.91 1.23 3.22 0 4.61-2.805 5.625-5.475 5.92.42.36.81 1.096.81 2.22 0 1.606-.015 2.896-.015 3.286 0 .315.21.69.825.57C20.565 22.092 24 17.592 24 12.297c0-6.627-5.373-12-12-12'/%3E%3C/svg%3E") no-repeat;}
@media screen and (max-width: 996px) { .header-github-link::after { content: 'GitHub'; padding-left: 0.2em; }}
.header-tangled-link:hover { opacity: 0.6;}
.header-tangled-link::before { content: ''; width: 24px; height: 24px; display: flex; background: url('/img/tangled/tangled_dolly_face_only_black_on_trans.svg') no-repeat; background-position: center; background-size: contain;}
[data-theme='dark'] .header-tangled-link::before { background: url('/img/tangled/tangled_dolly_face_only_white_on_trans.svg') no-repeat; background-position: center; background-size: contain;}
@media screen and (max-width: 996px) { .header-tangled-link::after { content: 'Tangled'; padding-left: 0.2em; }}