From c1a0a1eb815968d3be4ea72792fd9b1f1aa327fc Mon Sep 17 00:00:00 2001 From: Arseniy Obolenskiy Date: Fri, 27 Jun 2025 14:45:41 +0200 Subject: [PATCH] Use Google-hosted PT Sans for Russian --- docs/_static/custom.css | 5 +++++ docs/conf.py | 5 +++++ 2 files changed, 10 insertions(+) create mode 100644 docs/_static/custom.css diff --git a/docs/_static/custom.css b/docs/_static/custom.css new file mode 100644 index 000000000..a93b27626 --- /dev/null +++ b/docs/_static/custom.css @@ -0,0 +1,5 @@ +@import url('https://fonts.googleapis.com/css2?family=PT+Sans:wght@400;700&display=swap'); + +html[lang="ru"] body { + font-family: 'PT Sans', Arial, sans-serif; +} diff --git a/docs/conf.py b/docs/conf.py index f8ab96dfc..ec0fb703f 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -48,3 +48,8 @@ "collapse_navigation": False, "navigation_depth": 2, } + + +def setup(app): + """Add custom CSS files.""" + app.add_css_file("custom.css")