deploy: b7c55a0

pintergreg · Nov 6, 2024 · a87a787 · a87a787
1 parent 4fc656b
commit a87a787
Show file tree

Hide file tree

Showing 5 changed files with 22 additions and 0 deletions.
diff --git a/assets/custom.css b/assets/custom.css
@@ -129,6 +129,9 @@
 .text-small {
     font-size: small;
 }
+.text-x-small {
+    font-size: x-small;
+}
 .text-larger {
     font-size: larger;
 }
@@ -317,6 +320,9 @@ figcaption {
 .pre-height-100 pre {
     height: 100% !important;
 }
+.width-100 {
+    width: 100% !important;
+}
 /*.pre-vmargin-0 pre, .pre-vmargin-0 > div {
     margin-top: 0 !important;
     margin-bottom: 0 !important;

diff --git a/lectures/figures/tests_mark_the_place.drawio.svg b/lectures/figures/tests_mark_the_place.drawio.svg
diff --git a/lectures/figures/without_tests.drawio.svg b/lectures/figures/without_tests.drawio.svg