github-starred/cs249r_book
2
0
Fork 0
mirror of https://github.com/harvard-edge/cs249r_book.git synced 2026-03-08 23:03:55 -05:00
Code Issues Packages Projects Releases Wiki Activity

Grant actions read permission to dev validation workflow.

Browse Source 
Allow reusable container workflow status queries from the caller and fix a stylesheet spelling issue required by pre-commit checks.
This commit is contained in:
Vijay Janapa Reddi
2026-03-05 17:35:07 -05:00
parent ce4dc6c483
commit 4f44655224
2 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/book-validate-dev.yml vendored
View File

@@ -68,6 +68,7 @@ permissions:
contents: write
pages: write
packages: read
actions: read
jobs:
# Step 1: Pre-commit validation

12
book/quarto/_extensions/mlsysbook-ext/custom-numbered-blocks/style/foldbox.css
View File

@@ -22,9 +22,11 @@ details.fbx-question {
--padding-summary-y: 0.5rem;
/* Set for exactly 35px header height */
/* Quarto-style color system */
--background-color: var(--color1, #f8f9fa);
--title-background-color: var(--color1);
/* Quarto-style color system
--background-color and --title-background-color are set by foldbox.lua
from YAML config (as low-opacity rgba) on the callout class selector.
Do NOT redeclare them here — that would override the Lua-generated
values because a direct declaration beats inheritance. */
--border-color: var(--color2, #acacac);
/* Quarto-aligned borders and spacing */
@@ -36,7 +38,7 @@ details.fbx-question {
/* Reduced margin for less prominent appearance */
overflow: hidden;
color: var(--text-color);
background-color: var(--background-color);
background-color: var(--background-color, #f8f9fa);
box-shadow: 0 2px 8px rgba(165, 28, 48, 0.1);
/* Reduced shadow for subtlety */
}
@@ -91,7 +93,7 @@ details.fbx-default>summary,
details.fbx-answer>summary,
details.fbx-question>summary {
position: relative;
background-color: var(--title-background-color);
background-color: var(--title-background-color, #f8f9fa);
color: var(--text-color);
font-family: var(--bs-body-font-family, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif) !important;
font-size: var(--font-size) !important;