From 2ed13316566dc63605e1a995aeb0935d4a43ba6f Mon Sep 17 00:00:00 2001 From: Ivan Yordanov Date: Mon, 6 Nov 2023 14:32:01 +0200 Subject: [PATCH] Replace black with ruff (#365) --- docs/docs/stylesheets/extra.css | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/docs/docs/stylesheets/extra.css b/docs/docs/stylesheets/extra.css index 256ac30b3..fbd089434 100644 --- a/docs/docs/stylesheets/extra.css +++ b/docs/docs/stylesheets/extra.css @@ -37,3 +37,18 @@ -webkit-mask-image: var(--md-admonition-icon--wip); mask-image: var(--md-admonition-icon--wip); } + +.md-typeset .admonition.wip, +.md-typeset details.wip { +border-color: rgb(160, 45, 0); +} +.md-typeset .wip > .admonition-title, +.md-typeset .wip > summary { +background-color: rgb(255, 195, 172); +} +.md-typeset .wip > .admonition-title::before, +.md-typeset .wip > summary::before { +background-color: rgb(255, 77, 6); +-webkit-mask-image: var(--md-admonition-icon--wip); + mask-image: var(--md-admonition-icon--wip); +}