diff --git a/docs/config.typ b/docs/config.typ index d3c3ed0..9d6575a 100644 --- a/docs/config.typ +++ b/docs/config.typ @@ -28,9 +28,9 @@ /// - ltr-bits (bool): If true, bits are placed with the LSB on the left instead of the right /// -> dictionary #let config( - default-font-family: "Ubuntu Mono", + default-font-family: "DejaVu Sans Mono", default-font-size: 15pt, - italic-font-family: "Ubuntu Mono", + italic-font-family: "Libertinus Serif", italic-font-size: 12pt, background: white, text-color: black, diff --git a/gallery/example1.pdf b/gallery/example1.pdf index 96dbf60..54ab946 100644 Binary files a/gallery/example1.pdf and b/gallery/example1.pdf differ diff --git a/gallery/example1.png b/gallery/example1.png index 6ad8447..38cf27a 100644 Binary files a/gallery/example1.png and b/gallery/example1.png differ diff --git a/gallery/example2.pdf b/gallery/example2.pdf index ee09bba..5d56cce 100644 Binary files a/gallery/example2.pdf and b/gallery/example2.pdf differ diff --git a/gallery/example2.png b/gallery/example2.png index 19ef68a..a9d7801 100644 Binary files a/gallery/example2.png and b/gallery/example2.png differ diff --git a/gallery/example3.pdf b/gallery/example3.pdf index 0cb441b..84c75be 100644 Binary files a/gallery/example3.pdf and b/gallery/example3.pdf differ diff --git a/gallery/example3.png b/gallery/example3.png index 6fd2e20..8c1c16b 100644 Binary files a/gallery/example3.png and b/gallery/example3.png differ diff --git a/gallery/test.pdf b/gallery/test.pdf index c8d4a11..7466f04 100644 Binary files a/gallery/test.pdf and b/gallery/test.pdf differ diff --git a/manual.pdf b/manual.pdf index 35debf3..0d784ea 100644 Binary files a/manual.pdf and b/manual.pdf differ diff --git a/src/config.typ b/src/config.typ index 5b7fac0..85daae5 100644 --- a/src/config.typ +++ b/src/config.typ @@ -1,7 +1,7 @@ #let config( - default-font-family: "Ubuntu Mono", + default-font-family: "DejaVu Sans Mono", default-font-size: 15pt, - italic-font-family: "Ubuntu Mono", + italic-font-family: "Libertinus Serif", italic-font-size: 12pt, background: white, text-color: black,