Philipp Oppermann cfe743ad9e Merge branch 'main' into paging-introduction ...

I tried my best to resolve the conflicts manually but some sentences were modified in different ways in the two PRs.

2022-08-19 17:14:00 +02:00

..

content

Merge branch 'main' into paging-introduction

2022-08-19 17:14:00 +02:00

diagrams

Use PNG instead of SVG for address image

2019-01-14 14:28:47 +01:00

sass/css/edition-2

Use gray font instead of reduced opacity for translation contributors list

2022-05-22 12:44:37 +02:00

static

Wait 500ms before changing giscus theme on load to make sure that it's ready

2021-10-17 18:41:24 +02:00

templates

Translate the giscus comment system

2022-06-07 10:50:35 +02:00

.gitignore

Remove Rust codegen crate

2017-03-12 00:19:46 +01:00

before_build.py

Fix HTML error: <b> tags should go inside <li> tags

2022-01-23 17:34:46 +01:00

config.toml

Add a new translation_contributors front matter field

2022-05-22 12:23:15 +02:00

requirements.txt

Convert before_build.py to python3

2021-03-19 12:20:03 +01:00

typos.toml

Don't spellcheck french translations (lots of false positives)

2021-10-17 18:10:09 +02:00