diff --git a/website/docusaurus.config.ts b/website/docusaurus.config.ts
index 4b04dfec..0ac4a8a8 100644
--- a/website/docusaurus.config.ts
+++ b/website/docusaurus.config.ts
@@ -84,6 +84,12 @@ const config: Config = {
position: 'right',
className: 'header-github-link',
},
+ {
+ href: 'https://tangled.org/fast-check.dev/fast-check',
+ 'aria-label': 'Tangled repository',
+ position: 'right',
+ className: 'header-tangled-link',
+ },
],
},
docs: {
@@ -116,6 +122,7 @@ const config: Config = {
{ label: 'Blog', to: '/blog' },
{ label: 'API Reference', to: '/docs/api/' },
{ label: 'GitHub', href: 'https://github.com/dubzzz/fast-check' },
+ { label: 'Tangled', href: 'https://tangled.org/fast-check.dev/fast-check' },
{ label: 'Work with me @Pigment', href: 'https://refer.hellotrusty.io/kz48qf0nh7' },
{
html: `
`,
diff --git a/website/src/css/custom.css b/website/src/css/custom.css
index e08220fb..da41a63c 100644
--- a/website/src/css/custom.css
+++ b/website/src/css/custom.css
@@ -82,3 +82,30 @@
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;
+ }
+}
diff --git a/website/static/img/tangled/LICENSE b/website/static/img/tangled/LICENSE
new file mode 100644
index 00000000..269aed4a
--- /dev/null
+++ b/website/static/img/tangled/LICENSE
@@ -0,0 +1,6 @@
+The Tangled "Dolly" mark in this directory is the property of the Tangled
+project (https://tangled.org/brand) and is licensed under the Creative
+Commons Attribution 4.0 International License (CC BY 4.0).
+
+To view a copy of this license, visit:
+https://creativecommons.org/licenses/by/4.0/
diff --git a/website/static/img/tangled/tangled_dolly_face_only_black_on_trans.svg b/website/static/img/tangled/tangled_dolly_face_only_black_on_trans.svg
new file mode 100644
index 00000000..a4e4bf2d
--- /dev/null
+++ b/website/static/img/tangled/tangled_dolly_face_only_black_on_trans.svg
@@ -0,0 +1,11 @@
+
+
+
diff --git a/website/static/img/tangled/tangled_dolly_face_only_white_on_trans.svg b/website/static/img/tangled/tangled_dolly_face_only_white_on_trans.svg
new file mode 100644
index 00000000..d4af0ca8
--- /dev/null
+++ b/website/static/img/tangled/tangled_dolly_face_only_white_on_trans.svg
@@ -0,0 +1,11 @@
+
+
+