From 9a2e0408304f91b50c785c784157428ed306af39 Mon Sep 17 00:00:00 2001 From: Jean-Marc Hasenfratz Date: Mon, 16 Dec 2024 15:21:38 +0100 Subject: [PATCH] Updated colors to align with Inria's branding guidelines. The colors in the stylesheet follow MkDocs recommendations --- docs/stylesheets/extra.css | 2 +- mkdocs.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 638141f..96d04f0 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -1,5 +1,5 @@ :root { - --md-primary-fg-color: #C9191E; /* Main primary color, used for key elements like links, buttons, and titles */ + --md-primary-fg-color: #C9191E; /* Main primary color, used for key elements like links, buttons, and title */ --md-primary-fg-color--light: #F36B6E; /* Lighter variant, used for hover states or light backgrounds */ --md-primary-fg-color--dark: #8E1216; /* Darker variant, used for active states or in dark themes */ } diff --git a/mkdocs.yml b/mkdocs.yml index f54a7ba..3158ee0 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -5,7 +5,7 @@ extra_javascript: - https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js theme: - name: material # Specifies the theme to be used, here it's "Material" for MkDocs. + name: material # Specifies the theme to be used, here it's "Material" for MkDoc. language: en # Sets the default language for the theme. Here, it's English. palette: primary: custom # Indicates that a custom primary color will be used in the palette.