2 Commits

Author	SHA1	Message	Date
Martin Geisler	09d1265cbb	Add support for right-to-left languages (#1165) ... This updates our `mdbook` version to the latest version in Git. I copied the `index.hbs` file from that version and back-ported our changes into it. I checked English and Danish locally and they both look fine. The new version has support for right-to-left languages: https://github.com/rust-lang/mdBook/pull/1641. We have an in-progress Persian translation. Download the `fa.zip` artifact after building the PR to check how it looks. I checked Persian locally and it looks mirrored like I expect (but we will need someone who can read Persian to actually verify this). Fixes #1164.	2023-09-07 09:50:44 +02:00
Martin Geisler	3b7123d21a	Add language picker menu (#411) ... The picker is a drop-down menu using the same design as the theme picker in the top-left. There doesn’t seem to be an easy way to pass in a list of languages and descriptions, so for now we’ll have to expand the menu by hand as we add new languages. A comment has been added to `publish.yml` to remind us of this.	2023-02-15 15:10:16 +01:00