From e188f7fa17b68ce03930131fa9b36a75c4033863 Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Sat, 9 Dec 2023 23:46:58 +0300 Subject: [PATCH] Select better fonts for English and Russian --- docs/config/en/mkdocs.yml | 2 ++ docs/config/ru/mkdocs.yml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/docs/config/en/mkdocs.yml b/docs/config/en/mkdocs.yml index 4a657468b..2f20399cf 100644 --- a/docs/config/en/mkdocs.yml +++ b/docs/config/en/mkdocs.yml @@ -43,6 +43,8 @@ nav: theme: language: en + font: + text: Inria Sans palette: # Palette toggle for light mode - media: "(prefers-color-scheme: light)" diff --git a/docs/config/ru/mkdocs.yml b/docs/config/ru/mkdocs.yml index 59f33a96f..37c48500e 100644 --- a/docs/config/ru/mkdocs.yml +++ b/docs/config/ru/mkdocs.yml @@ -43,6 +43,8 @@ nav: theme: language: ru + font: + text: PT Sans palette: # Palette toggle for light mode - media: "(prefers-color-scheme: light)"