Deploy documentation and coverage

This commit is contained in:
github-actions[bot]
2025-04-02 20:21:37 +00:00
parent 5d9439de52
commit 02655bc57c
56 changed files with 631 additions and 235 deletions

View File

@@ -13,6 +13,10 @@
--dark-hl-5: #569CD6;
--light-hl-6: #795E26;
--dark-hl-6: #DCDCAA;
--light-hl-7: #0070C1;
--dark-hl-7: #4FC1FF;
--light-hl-8: #AF00DB;
--dark-hl-8: #C586C0;
--light-code-background: #FFFFFF;
--dark-code-background: #1E1E1E;
}
@@ -25,6 +29,8 @@
--hl-4: var(--light-hl-4);
--hl-5: var(--light-hl-5);
--hl-6: var(--light-hl-6);
--hl-7: var(--light-hl-7);
--hl-8: var(--light-hl-8);
--code-background: var(--light-code-background);
} }
@@ -36,6 +42,8 @@
--hl-4: var(--dark-hl-4);
--hl-5: var(--dark-hl-5);
--hl-6: var(--dark-hl-6);
--hl-7: var(--dark-hl-7);
--hl-8: var(--dark-hl-8);
--code-background: var(--dark-code-background);
} }
@@ -47,6 +55,8 @@
--hl-4: var(--light-hl-4);
--hl-5: var(--light-hl-5);
--hl-6: var(--light-hl-6);
--hl-7: var(--light-hl-7);
--hl-8: var(--light-hl-8);
--code-background: var(--light-code-background);
}
@@ -58,6 +68,8 @@
--hl-4: var(--dark-hl-4);
--hl-5: var(--dark-hl-5);
--hl-6: var(--dark-hl-6);
--hl-7: var(--dark-hl-7);
--hl-8: var(--dark-hl-8);
--code-background: var(--dark-code-background);
}
@@ -68,4 +80,6 @@
.hl-4 { color: var(--hl-4); }
.hl-5 { color: var(--hl-5); }
.hl-6 { color: var(--hl-6); }
.hl-7 { color: var(--hl-7); }
.hl-8 { color: var(--hl-8); }
pre, code { background: var(--code-background); }