Spaces:
Build error
Build error
feat: adjust default font
Browse files- planning_ai/document.py +2 -0
planning_ai/document.py
CHANGED
@@ -273,6 +273,7 @@ The following section provides a detailed breakdown of notable details from resp
|
|
273 |
"execute:\n"
|
274 |
" freeze: auto\n"
|
275 |
" echo: false\n"
|
|
|
276 |
"monofont: 'JetBrains Mono'\n"
|
277 |
"monofontoptions:\n"
|
278 |
" - Scale=0.55\n"
|
@@ -328,6 +329,7 @@ def build_summaries_document(out):
|
|
328 |
"execute:\n"
|
329 |
" freeze: auto\n"
|
330 |
" echo: false\n"
|
|
|
331 |
"monofont: 'JetBrains Mono'\n"
|
332 |
"monofontoptions:\n"
|
333 |
" - Scale=0.55\n"
|
|
|
273 |
"execute:\n"
|
274 |
" freeze: auto\n"
|
275 |
" echo: false\n"
|
276 |
+
"fontfamily: libertinus\n"
|
277 |
"monofont: 'JetBrains Mono'\n"
|
278 |
"monofontoptions:\n"
|
279 |
" - Scale=0.55\n"
|
|
|
329 |
"execute:\n"
|
330 |
" freeze: auto\n"
|
331 |
" echo: false\n"
|
332 |
+
"fontfamily: libertinus\n"
|
333 |
"monofont: 'JetBrains Mono'\n"
|
334 |
"monofontoptions:\n"
|
335 |
" - Scale=0.55\n"
|