From 6de3331c43c44b19cf60fecb57f3e1a6bcf305c6 Mon Sep 17 00:00:00 2001 From: Nicolas DUBIEN Date: Mon, 4 May 2026 23:15:50 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=93=9D=20Link=20to=20Tangled=20mirror=20o?= =?UTF-8?q?f=20fast-check=20(#6939)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Add a link to https://tangled.org/fast-check.dev/fast-check alongside the existing GitHub references: a navbar/footer entry on the website (with matching icon styles) and a badge in the README. --------- Co-authored-by: Claude --- website/docusaurus.config.ts | 7 +++++ website/src/css/custom.css | 27 +++++++++++++++++++ website/static/img/tangled/LICENSE | 6 +++++ ...tangled_dolly_face_only_black_on_trans.svg | 11 ++++++++ ...tangled_dolly_face_only_white_on_trans.svg | 11 ++++++++ 5 files changed, 62 insertions(+) create mode 100644 website/static/img/tangled/LICENSE create mode 100644 website/static/img/tangled/tangled_dolly_face_only_black_on_trans.svg create mode 100644 website/static/img/tangled/tangled_dolly_face_only_white_on_trans.svg 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: `Deploys by Netlify`, 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 @@ + + + + + + + -- 2.51.2