From: Marco Otte-Witte Date: Tue, 20 Aug 2024 13:48:55 +0000 (+0200) Subject: use Core Sans font X-Git-Url: http://git.euphorik.ch/index.cgi?a=commitdiff_plain;h=8730a8458af385e31b860076f3c8798e0a8f72d1;p=rust_exercises.git use Core Sans font --- diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 74683de..48d315d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,6 +15,17 @@ jobs: - uses: actions/checkout@v4 with: fetch-depth: 0 + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + repository: mainmatter/core-sans-a-fonts + ssh-key: ${{ secrets.SSH_PRIVATE_KEY }} + path: core-sans-a-fonts + - name: Install Fonts + run: | + sudo cp -r core-sans-a-fonts/* /usr/local/share/fonts/ + sudo fc-cache -f -v + fc-list | grep "Core Sans" - uses: actions-rust-lang/setup-rust-toolchain@v1 - name: Install exercise plugin run: cargo install --path helpers/mdbook-exercise-linker diff --git a/book/book.toml b/book/book.toml index c739aa6..7ad7bcc 100644 --- a/book/book.toml +++ b/book/book.toml @@ -33,8 +33,18 @@ metadata-file = "metadata.yml" [output.pandoc.profile.pdf.variables] # You can get these fonts here: https://fonts.google.com/selection?query=noto+color+ -mainfont = "Noto Serif" -sansfont = "Noto Sans" +mainfont = "CoreSansA45.ttf" +mainfontoptions = [ + "BoldFont=CoreSansA65.ttf", + "ItalicFont=CoreSansA45It.ttf", + "BoldItalicFont=CoreSansA65It.ttf" +] +sansfont = "CoreSansA45.ttf" +sansfontoptions = [ + "BoldFont=CoreSansA65.ttf", + "ItalicFont=CoreSansA45It.ttf", + "BoldItalicFont=CoreSansA65It.ttf" +] monofont = "Noto Sans Mono" mainfontfallback = ["Noto Color Emoji:mode=harf"] sansfontfallback = ["Noto Color Emoji:mode=harf"] @@ -63,8 +73,18 @@ pdf-engine = "lualatex" [output.pandoc.profile.paperback.variables] # You can get these fonts here: https://fonts.google.com/selection?query=noto+color+ -mainfont = "Noto Serif" -sansfont = "Noto Sans" +mainfont = "CoreSansA45.ttf" +mainfontoptions = [ + "BoldFont=CoreSansA65.ttf", + "ItalicFont=CoreSansA45It.ttf", + "BoldItalicFont=CoreSansA65It.ttf" +] +sansfont = "CoreSansA45.ttf" +sansfontoptions = [ + "BoldFont=CoreSansA65.ttf", + "ItalicFont=CoreSansA45It.ttf", + "BoldItalicFont=CoreSansA65It.ttf" +] monofont = "Noto Sans Mono" mainfontfallback = ["Noto Color Emoji:mode=harf"] sansfontfallback = ["Noto Color Emoji:mode=harf"]