From c4061caadd4d7c946430aa998c616a20b14187ce Mon Sep 17 00:00:00 2001 From: gdamore Date: Sat, 19 Apr 2025 20:10:40 +0000 Subject: deploy: 55925438bc8b8fd243ab995c48c8996ac49a6652 --- ref/css/variables.css | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'ref/css/variables.css') diff --git a/ref/css/variables.css b/ref/css/variables.css index 12d1db7a..6a692ae7 100644 --- a/ref/css/variables.css +++ b/ref/css/variables.css @@ -9,7 +9,7 @@ --content-max-width: 750px; --menu-bar-height: 50px; --mono-font: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace; - --code-font-size: 0.875em /* please adjust the ace font size accordingly in editor.js */ + --code-font-size: 0.875em; /* please adjust the ace font size accordingly in editor.js */ } /* Themes */ @@ -61,6 +61,8 @@ --copy-button-filter: invert(45%) sepia(6%) saturate(621%) hue-rotate(198deg) brightness(99%) contrast(85%); /* Same as `--sidebar-active` */ --copy-button-filter-hover: invert(68%) sepia(55%) saturate(531%) hue-rotate(341deg) brightness(104%) contrast(101%); + + --footnote-highlight: #2668a6; } .coal { @@ -110,6 +112,8 @@ --copy-button-filter: invert(26%) sepia(8%) saturate(575%) hue-rotate(169deg) brightness(87%) contrast(82%); /* Same as `--sidebar-active` */ --copy-button-filter-hover: invert(36%) sepia(70%) saturate(503%) hue-rotate(167deg) brightness(98%) contrast(89%); + + --footnote-highlight: #4079ae; } .light, html:not(.js) { @@ -159,6 +163,8 @@ --copy-button-filter: invert(45.49%); /* Same as `--sidebar-active` */ --copy-button-filter-hover: invert(14%) sepia(93%) saturate(4250%) hue-rotate(243deg) brightness(99%) contrast(130%); + + --footnote-highlight: #7e7eff; } .navy { @@ -208,6 +214,8 @@ --copy-button-filter: invert(51%) sepia(10%) saturate(393%) hue-rotate(198deg) brightness(86%) contrast(87%); /* Same as `--sidebar-active` */ --copy-button-filter-hover: invert(46%) sepia(20%) saturate(1537%) hue-rotate(156deg) brightness(85%) contrast(90%); + + --footnote-highlight: #4079ae; } .rust { @@ -255,6 +263,8 @@ --copy-button-filter: invert(51%) sepia(10%) saturate(393%) hue-rotate(198deg) brightness(86%) contrast(87%); /* Same as `--sidebar-active` */ --copy-button-filter-hover: invert(77%) sepia(16%) saturate(1798%) hue-rotate(328deg) brightness(98%) contrast(83%); + + --footnote-highlight: #d3a17a; } @media (prefers-color-scheme: dark) { -- cgit v1.2.3-70-g09d2