Editorial change: fixing background color of target section titles#1300

gusthoff merged 3 commits intoAdaCore:mainAdaCore/learn:mainfrom

gusthoff:topic/infrastructure/sphinx/structure/furo_theme/20260109gusthoff/ada-learning-material:topic/infrastructure/sphinx/structure/furo_theme/20260109Copy head branch name to clipboard