diff --git a/report/report.tex b/report/report.tex
index 0d39b30..41dbbbc 100644
--- a/report/report.tex
+++ b/report/report.tex
@@ -20,10 +20,10 @@
 \usepackage{math}
 \usepackage{concurgames}
 
-\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}}
-\newcommand{\todo}[1]{\colorbox{orange}{\qtodo{\textbf{TODO:} #1}}}
-\newcommand{\qnote}[1]{\colorbox{Cerulean}{\textcolor{Sepia}{[#1]}}}
-\newcommand{\note}[1]{\qnote{\textbf{NOTE:} #1}}
+%\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}}
+%\newcommand{\todo}[1]{\colorbox{orange}{\qtodo{\textbf{TODO:} #1}}}
+%\newcommand{\qnote}[1]{\colorbox{Cerulean}{\textcolor{Sepia}{[#1]}}}
+%\newcommand{\note}[1]{\qnote{\textbf{NOTE:} #1}}
 
 \author{Théophile \textsc{Bastian}, supervised by Glynn \textsc{Winskel}
 	and Pierre \textsc{Clairambault} \\
diff --git a/report/todo.sty b/report/todo.sty
new file mode 100644
index 0000000..068c3e0
--- /dev/null
+++ b/report/todo.sty
@@ -0,0 +1,6 @@
+\usepackage[dvipsnames]{xcolor}
+
+\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}}
+\newcommand{\todo}[1]{\qtodo{\textbf{TODO:}\.#1}}
+\newcommand{\qnote}[1]{\colorbox{Cerulean}{\textcolor{Sepia}{[#1]}}}
+\newcommand{\note}[1]{\qnote{\textbf{NOTE:}\.#1}}