Skip to content

Commit 6d25bd0

Browse files
committed
only render experimental
1 parent 48d4838 commit 6d25bd0

File tree

2 files changed

+52
-4
lines changed

2 files changed

+52
-4
lines changed

.github/workflows/colab.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,8 +37,9 @@ jobs:
3737
cp _quarto-test.yml _quarto.yml
3838
rm content/modelisation/index.qmd # Remove file not building in ipynb
3939
python build/colab/tweak_quarto_project.py
40-
quarto render --profile fr --to ipynb
41-
quarto render --profile en --to ipynb
40+
quarto render --to ipynb
41+
#quarto render --profile fr --to ipynb
42+
#quarto render --profile en --to ipynb
4243
- name: Move to expected directory
4344
env:
4445
API_INPI_USERNAME: ${{ secrets.API_INPI_USERNAME }}

build/colab/colab.css

Lines changed: 49 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,14 +6,61 @@
66
background-color: #ffffff;
77
padding: 15px;
88
}
9-
.callout-header {
9+
.callout-header-note {
1010
font-weight: bold;
1111
margin-bottom: 10px;
1212
color: #ffffff;
13-
background-color: #1d4ed8;
13+
background-color: #eaf3ff;
1414
padding: 10px;
1515
border-radius: 6px 6px 0 0;
1616
}
17+
18+
.callout-header-tip {
19+
font-weight: bold;
20+
margin-bottom: 10px;
21+
color: #ffffff;
22+
background-color: #ebf4f0;
23+
padding: 10px;
24+
border-radius: 6px 6px 0 0;
25+
}
26+
27+
.callout-header-exercise {
28+
font-weight: bold;
29+
margin-bottom: 10px;
30+
color: #ffffff;
31+
background-color: #fabdeb;
32+
padding: 10px;
33+
border-radius: 6px 6px 0 0;
34+
}
35+
36+
.callout-header-warning {
37+
font-weight: bold;
38+
margin-bottom: 10px;
39+
color: #ffffff;
40+
background-color: #fff9e9;
41+
padding: 10px;
42+
border-radius: 6px 6px 0 0;
43+
}
44+
45+
.callout-header-important {
46+
font-weight: bold;
47+
margin-bottom: 10px;
48+
color: #ffffff;
49+
background-color: #fcedee;
50+
padding: 10px;
51+
border-radius: 6px 6px 0 0;
52+
}
53+
54+
.callout-header-caution {
55+
font-weight: bold;
56+
margin-bottom: 10px;
57+
color: #ffffff;
58+
background-color: #fff3eb;
59+
padding: 10px;
60+
border-radius: 6px 6px 0 0;
61+
}
62+
63+
1764
.callout-body {
1865
margin: 10px 0;
1966
}

0 commit comments

Comments
 (0)