From 555a66afd1a33e630460aaa98adfaada03e89dd8 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Fri, 9 Jan 2026 15:18:28 +0100 Subject: [PATCH 1/3] Editorial change: adding comment about additional colors in conf.py file --- frontend/src/styles/_variables.scss | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/frontend/src/styles/_variables.scss b/frontend/src/styles/_variables.scss index 35a8966fc..95656377a 100644 --- a/frontend/src/styles/_variables.scss +++ b/frontend/src/styles/_variables.scss @@ -1,6 +1,10 @@ // colors @use 'sass:color'; +// +// NOTE: some colors for the furo-theme are overridden in the conf.py file +// + $color-theme-bg-dark: #fa5000; $color-theme-bg-light: rgb(252, 252, 252); From e15727d85960bf30d41a40ff3914fd5828d50ad8 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Fri, 9 Jan 2026 15:19:42 +0100 Subject: [PATCH 2/3] Editorial change: fixing background color of target section titles --- frontend/sphinx/conf.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/frontend/sphinx/conf.py b/frontend/sphinx/conf.py index 8f0c4c5f1..167ea4736 100644 --- a/frontend/sphinx/conf.py +++ b/frontend/sphinx/conf.py @@ -272,6 +272,7 @@ def get_file_from_conf_ini(path_to_file): 'color-admonition-title-background': '#fadfd2', 'color-admonition-title--note': 'var(--color-admonition-title)', 'color-admonition-title-background--note': 'var(--color-admonition-title-background)', + 'color-highlight-on-target': '#faede0', }, 'dark_css_variables': { 'color-brand-primary': '#fa5000', @@ -282,6 +283,7 @@ def get_file_from_conf_ini(path_to_file): 'color-admonition-title-background': '#502000', 'color-admonition-title--note': 'var(--color-admonition-title)', 'color-admonition-title-background--note': 'var(--color-admonition-title-background)', + 'color-highlight-on-target': '#402525', }, 'sidebar_hide_name': True, 'navigation_with_keys': True, From d241bc49e24a679136d5cca0c55800e5ebe3e42d Mon Sep 17 00:00:00 2001 From: gusthoff Date: Sat, 10 Jan 2026 20:55:11 +0100 Subject: [PATCH 3/3] Editorial change: updating copyright year --- frontend/sphinx/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/sphinx/conf.py b/frontend/sphinx/conf.py index 167ea4736..6e4bcbdf1 100644 --- a/frontend/sphinx/conf.py +++ b/frontend/sphinx/conf.py @@ -56,7 +56,7 @@ def get_file_from_conf_ini(path_to_file): # -- Project information ----------------------------------------------------- project = u'learn.adacore.com' -copyright = u'2018 – 2025, AdaCore. All rights reserved' +copyright = u'2018 – 2026, AdaCore. All rights reserved' author = u'AdaCore' if not config.has_option('', 'author') else \ config['DEFAULT']['author'] title = u'Learn Ada (Complete)' if not config.has_option('', 'title') else \