This repairs our teammanual generation

Removing this seems to also remove the background color for the summary.
We should investigate what was the goal of the LaTeX change and how we
can reproduce it.

Author: vmcj

doc/manual/conf.py

@@ -148,8 +148,6 @@
 \definecolor{noteBgColor}{rgb}{1,0,1}
 
 \definecolor{sphinxnoteBgColor}{RGB}{221,233,239}
-\renewenvironment{sphinxnote}[1]
-{\begin{sphinxheavybox}\sphinxstrong{#1} }{\end{sphinxheavybox}}
 
 \usepackage{fancyhdr}
 \pagestyle{fancy}