diff --git a/config.toml b/config.toml
index d169197..9b2c972 100644
--- a/config.toml
+++ b/config.toml
@@ -17,9 +17,7 @@ feed_filenames = ["atom.xml", "rss.xml"]
build_search_index = true
[markdown]
-highlight_code = true
# extra_syntaxes_and_themes = ["sublime"]
-highlight_theme = "dracula"
# highlight_themes_css = [
# { theme = "monokai-pro-dark", filename = "syntax-theme-dark.css" },
# { theme = "monokai-pro-light", filename = "syntax-theme-light.css" },
@@ -31,6 +29,11 @@ lazy_async_image = true
external_links_class = "external"
insert_anchor_links = "left"
+[markdown.highlighting]
+dark_theme = "dracula"
+light_theme = "github-light"
+# dark_theme = "github-dark"
+
[slugify]
paths = "on"
taxonomies = "on"
@@ -44,7 +47,7 @@ feed_filenames = ["atom.xml", "rss.xml"]
build_search_index = true
[extra]
-home_url = "@/home/index.md"
+home_url = "@/_index.md"
accent_color = ["hsl(19 75% 42%)", "hsl(276 82% 78%)"]
katex = true
toc = true
diff --git a/content/_index.en.md b/content/_index.en.md
index 800a244..4fd9e9e 100644
--- a/content/_index.en.md
+++ b/content/_index.en.md
@@ -1,3 +1,86 @@
+++
-render = false
+title = "Lyes' website"
+aliases = ["/en/home"]
+[extra]
+styles = ["home.css"]
+scripts = ["index/index.js"]
+no_header = true
+++
+
+
+
+

+
+
+ Lyes Saadi
+
+
+ Studying the foundations of computer science
+
+
+
+
+
+
+## Who am I ?
+
+My name's Lyes Saadi (in phonetic :
+{{ audio(name="/ljes/ /sæ.ɑːdi/", url="index/pron_ipa.flac") }}, in arabic :
+{{ audio(name="إِلْيَاسْ السَّعْدِي", url="index/pron_ar.flac") }}), my pronouns are
+He/They and I am (i was born on the 18/04/2002, you can compute
+my age yourself if you are skilled enough to know how to deactivate JavaScript
+^^) years old!
+
+Currently, I'm in my 2nd year of Master's at the Parisian Master of
+Research in Computer Science ([MPRI](https://mpri-master.ens.fr/))
+and in my 3rd year of studies at the École Normale Supérieure
+de Paris-Saclay.
+
+### My passions
+
+I have long been passionate about computer science. My interests are mainly
+around the foundations of computer science and its interactions with
+mathematics. In particular, I am interested in type theory, category theory,
+proof assistants, programming languages and logics. I am also very interested
+with the interactions between these domains and other domains of computer
+science and mathematics.
+
+I am also a staunch activist for free software! For example, this website uses
+[Zola](https://www.getzola.org/) and [Ametrine](https://ametrine.daudix.one/)
+and is served by my own server `zora`, currently hosted in the bay of the
+[Cr@ns](https://crans.org/)! I use on both my server and my own personal
+computer [NixOS](https://nixos.org/). I also contribute to a wide variety of
+Free or Open Source software when I have some free time.
+
+Outside of computer science, I also follow with great attention the debats
+around the academic world. I also follow debates around urbanism and public
+transportation. Tchoo tchoo :steam_locomotive:!
+
+### My goals in life
+
+Currently my main goal in life is striving to become a university professor! As
+both research and teaching appeal to me. But I still have a long way ahead of
+me !
+
+I love doing research, working every day to change the world, type by type,
+functor by functor. And also because theoretical computer science is too
+awesome and incredible not to dedicate oneself to its study.
+
+But also teaching, to spread further the beautiful world that is theoretical
+computer science, which unfortunately remains largely unknown or misunderstood
+by the wider public. Computer science isn't only computers and programs, but
+it's also a whole other world of science that extends upon mathematics and
+logics!
+
+## Contacting me
+
+To reach me, I prefer to be contacted:
+- by mail : `perso.web-1` at `lyes.eu`
+- by matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org)
+- by signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd)
+
+
diff --git a/content/_index.md b/content/_index.md
index 800a244..1e2779e 100644
--- a/content/_index.md
+++ b/content/_index.md
@@ -1,3 +1,88 @@
+++
-render = false
+title = "Le site de Lyes"
+aliases = ["/home"]
+[extra]
+styles = ["home.css"]
+scripts = ["index/index.js"]
+no_header = true
+audio_button = true
+++
+
+
+
+

+
+
+ Lyes Saadi
+
+
+ Étudiant en informatique fondamentale
+
+
+
+
+
+
+## Qui suis-je ?
+
+Je m'appelle Lyes Saadi (en phonétique :
+{{ audio(name="/ljes/ /sæ.ɑːdi/", url="index/pron_ipa.flac") }}, en arabe :
+{{ audio(name="إِلْيَاسْ السَّعْدِي", url="index/pron_ar.flac") }}), mes pronoms sont Il/Iel
+et j'ai (je suis né le 18/04/2002, vous pouvez calculer mon age
+vous-même si vous savez désactiver JavaScript ^^) ans !
+
+En ce moment, je suis en 2ème année de Master au Master Parisien
+de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en
+3ème année d'étude à l'École Normale Supérieure Paris-Saclay.
+
+### Mes passions
+
+Je suis un passionné d'informatique, notamment des fondements de l'informatique
+et de ses interactions avec les mathématiques. Mes passions sont ainsi la
+théorie des types, la théorie des catégories, les assistants de preuve, les
+langages de programmation et la logique mathématique et informatique. Je suis
+aussi très intéressé par les interactions de ces domaines avec les autres
+domaines de l'informatique et des mathématiques plus largement.
+
+Je suis aussi un ardent défenseur du logiciel libre ! Ce site web utilise ainsi
+[Zola](https://www.getzola.org/) et [Ametrine](https://ametrine.daudix.one/) et
+est servi par mon propre serveur `zora` actuellement hébergé dans la baie du
+[Cr@ns](https://crans.org/) ! J'utilise pour mon ordinateur personnel et mon
+serveur [NixOS](https://nixos.org/). Je contribue aussi à plusieurs projets
+Libre ou Open Source quand j'ai du temps libre.
+
+En dehors de l'informatique, je suis avec attention les débats autour du monde
+académique et universitaire. Et j'aime aussi beaucoup suivre les politiques
+d'urbanisme et de transports en commun. Vive les trains :steam_locomotive: !
+
+### Mes objectifs dans la vie
+
+Actuellement, mon but principal dans la vie est de devenir
+enseignant-chercheur. J'ai encore un long chemin devant moi !
+
+Faire de la recherche avant tout, pour changer le monde, type par type,
+foncteur par foncteur. Mais surtout parce que l'informatique fondamentale c'est
+trop génial et passionnant pour ne pas s'y plonger corps et groupe[^1] dans son
+étude.
+
+Mais aussi de l'enseignement, pour aussi mieux faire connaître ces domaines
+pourtant passionnants, mais malheureusement méconnus du grand public.
+L'informatique ce n'est pas que des ordinateurs et des programmes, mais c'est
+aussi toute une science au prolongements des mathématiques et de la logique.
+
+## Me contacter
+
+Pour me joindre, je préfère être contacté :
+- par mail : `perso.web-1` arobase `lyes.eu`
+- par matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org)
+- par signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd)
+
+
+
+---
+
+[^1]: Je m'excuse dès à présent pour la qualité sous-optimale de mes blagues.
diff --git a/content/home/index.en.md b/content/home/index.en.md
deleted file mode 100644
index 78b7ae3..0000000
--- a/content/home/index.en.md
+++ /dev/null
@@ -1,82 +0,0 @@
-+++
-title = "Lyes' website"
-aliases = ["/en/"]
-[extra]
-styles = ["home.css"]
-scripts = ["home/index.js"]
-no_header = true
-+++
-
-
-
-

-
-
- Lyes Saadi
-
-
- Studying the foundations of computer science
-
-
-
-
-
-
-## Who am I ?
-
-My name's Lyes Saadi (in phonetic :
-{{ audio(name="/ljes/ /sæ.ɑːdi/", url="pron_ipa.flac") }}, in arabic :
-{{ audio(name="إِلْيَاسْ السَّعْدِي", url="pron_ar.flac") }}), my pronouns are He/They
-and I am (i was born on the 18/04/2002, you can compute my age
-yourself if you are skilled enough to know how to deactivate JavaScript ^^)
- years old!
-
-Currently, I'm in my 2nd year of Master's at the Parisian Master of
-Research in Computer Science ([MPRI](https://mpri-master.ens.fr/))
-and in my 3rd year of studies at the École Normale Supérieure
-de Paris-Saclay.
-
-### My passions
-
-I have long been passioned by computer science. My interests are mainly around
-the foundations of computer science and its interactions with mathematics. In
-particular, I am interested by type theory, category theory, proof assistants,
-programming languages and logics. I am also very interested with the
-interactions between these domains and other domains of computer science and
-mathematics.
-
-I am also a staunnch activist for free software! For example, this wesite uses
-[Zola](https://www.getzola.org/) and [Ametrine](https://ametrine.daudix.one/)
-and is served by my own server `zora`, currently hosted in the bay of the
-[Cra@ns](https://crans.org/)! I use on both my server and my own personal
-computer [NixOS](https://nixos.org/). I also contribute to a wide variety of
-Free or Open Source software when I have some free time.
-
-Outside of computer science, I also follow with great attention the debats
-around the academic world. I also follow debates around urbanism and public
-transportation. Tchoo tchoo :steam_locomotive: !
-
-### My goals in life
-
-Currently, my main goal in life is trying to become a university professor, to
-do both research and teaching.
-
-I would like to do research first and foremost, to change the world, type by
-type, functor by functor. But also because theoretical computer science is too
-awesome and incredible not to dedicate oneself to its study.
-
-But also teaching, to spread further the beautiful world that is theoretical
-computer science, which unfortunately remains largely unknown to the wider
-public. Computer science isn't only computers and programs, but it's also a
-whole other world of science which extends upon mathematics and logics !
-
-## Contacting me
-
-To reach me, I prefer to be contacted using one of the following ways:
-- mail : `perso.web-1` at `lyes.eu`
-- matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org)
-- signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd)
diff --git a/content/home/index.md b/content/home/index.md
deleted file mode 100644
index 7d9b050..0000000
--- a/content/home/index.md
+++ /dev/null
@@ -1,88 +0,0 @@
-+++
-title = "Le site de Lyes"
-aliases = ["/"]
-[extra]
-styles = ["home.css"]
-scripts = ["home/index.js"]
-no_header = true
-audio_button = true
-+++
-
-
-
-

-
-
- Lyes Saadi
-
-
- Étudiant en informatique fondamentale
-
-
-
-
-
-
-## Qui suis-je ?
-
-Je m'appelle Lyes Saadi (en phonétique :
-{{ audio(name="/ljes/ /sæ.ɑːdi/", url="pron_ipa.flac") }}, en arabe :
-{{ audio(name="إِلْيَاسْ السَّعْدِي", url="pron_ar.flac") }}), mes pronoms sont Il/Iel
-et j'ai (je suis né le 18/04/2002, vous pouvez calculer mon age
-vous-même si vous savez désactiver JavaScript ^^) ans !
-
-En ce moment, je suis en 2ème année de Master au Master Parisien
-de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en
-3ème année d'étude à l'École Normale Supérieure Paris-Saclay.
-
-### Mes passions
-
-Je suis un passionné d'informatique, notamment des fondements de l'informatique
-et de ses interactions avec les mathématiques. Mes passions sont ainsi la
-théorie des types, la théorie des catégories, les assistants de preuve, les
-langages de programmation et la logique mathématique et informatique. Je suis
-aussi très intéressé par les intéractions de ces domaines avec les autres
-domaines de l'informatique et des mathématiques plus largement.
-
-Je suis aussi un ardent défendeur du logiciel libre ! Ce site web utilise ainsi
-[Zola](https://www.getzola.org/) et [Ametrine](https://ametrine.daudix.one/) et
-est servi par mon propre serveur `zora` actuellement hébergé dans la baie du
-[Cra@ns](https://crans.org/) ! J'utilise pour mon ordinateur personnel et mon
-serveur [NixOS](https://nixos.org/). Je contibue aussi à plusieurs projets
-Libre ou Open Source quand j'ai du temps libre.
-
-En dehors de l'informatique, je suis avec attention les débats autour du monde
-académique et universitaires. Et j'aime aussi beaucoup suivre les politiques
-d'urbanisme et de transports en communs. Vive les trains :steam_locomotive: !
-
-### Mes objectifs dans la vie
-
-Actuellement, mon but principal dans la vie est de devenir
-enseignant-chercheur.
-
-Faire de la recherche avant tout, pour changer le monde, type par type,
-foncteur par foncteur. Mais surtout parce que l'informatique fondamentale c'est
-trop génial et passionnant pour ne pas s'y plonger corps et groupe[^1] dans son
-étude.
-
-Mais aussi de l'enseignement, pour aussi mieux faire connaître ces domaines
-pourtant passionnants, mais malheureusement méconnus du grand public.
-L'informatique ce n'est pas que des ordinateurs et des programmes, mais c'est
-aussi toute une science au prolongements des mathématiques et de la logique.
-
-## Me contacter
-
-Pour me joindre, je préfère être contacté par ces moyens :
-- mail : `perso.web-1` arobase `lyes.eu`
-- matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org)
-- signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd)
-
-
-
----
-
-[^1]: Je m'excuse dès à présent pour la qualité sous-optimale de mes blagues.
diff --git a/content/home/index.js b/static/index/index.js
similarity index 100%
rename from content/home/index.js
rename to static/index/index.js
diff --git a/content/home/pron_ar.flac b/static/index/pron_ar.flac
similarity index 100%
rename from content/home/pron_ar.flac
rename to static/index/pron_ar.flac
diff --git a/content/home/pron_ipa.flac b/static/index/pron_ipa.flac
similarity index 100%
rename from content/home/pron_ipa.flac
rename to static/index/pron_ipa.flac