diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 12c6a9a0fcba17c6bbe9944fa3d673ec867a7c62..dafc8271086f4e4d9616783b8d626912d43ad750 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -28,7 +28,7 @@
 \maketitle 
 
 \begin{center}
-  {\Huge \projacro :}\\[1ex]
+  {\Huge \projacro :}\\[1ex] 
   {\LARGE \projtitle } 
 \end{center}
 
diff --git a/NEWPROPOSAL/ganttchart.tex b/NEWPROPOSAL/ganttchart.tex
index ca9bb16050a82af6ff4c0ead5def2cf45c007784..f99d94ea7c6f4f5f2077dc1d4ed1c14b815b5d70 100644
--- a/NEWPROPOSAL/ganttchart.tex
+++ b/NEWPROPOSAL/ganttchart.tex
@@ -28,31 +28,31 @@
   \\
 %%%% WP 1 
   \ganttset{bar/.append style={fill=red!50}}
-  \ganttbar{\ref{task:HHL} Front-end}{3}{36}\\
-  \ganttbar{\ref{task:trans1} Open API for \dzxc}{1}{36}\\
-  \ganttbar{\ref{task:testBench} Open test-suite}{6}{36}\\
-  \ganttbar{\ref{task:circuit-model} Idealised quantum circuits}{1}{12}\\
-  \ganttbar{\ref{task:mbqc-model} Idealised 1WQC}{1}{15}\\
-  \ganttbar{\ref{task:backendapi} Back-end API}{24}{36}\\
+  \ganttbar{\footnotesize \ref{task:HHL} Front-end}{3}{36}\\
+  \ganttbar{\footnotesize \ref{task:trans1} Open API for \dzxc}{1}{36}\\
+  \ganttbar{\footnotesize \ref{task:testBench} Open test-suite}{6}{36}\\
+  \ganttbar{\footnotesize \ref{task:circuit-model} Idealised quantum circuits}{1}{12}\\
+  \ganttbar{\footnotesize \ref{task:mbqc-model} Idealised 1WQC}{1}{15}\\
+  \ganttbar{\footnotesize \ref{task:backendapi} Back-end API}{24}{36}\\
 %%%% WP 2
   \ganttset{bar/.append style={fill=yellow}}
-  \ganttbar{\ref{task:axioms} Beyond qubits and stabilisers}{1}{14}\\
-  \ganttbar{\ref{task:betterboxes} Control in \zx}{1}{18}\\
-  \ganttbar{\ref{task:resources} Resources and axioms}{1}{36}\\
+  \ganttbar{\footnotesize \ref{task:axioms} Beyond qubits and stabilisers}{1}{14}\\
+  \ganttbar{\footnotesize \ref{task:betterboxes} Control in \zx}{1}{18}\\
+  \ganttbar{\footnotesize \ref{task:resources} Resources and axioms}{1}{36}\\
   \ganttbar{\ref{task:resourcesagain} Computational resources}{12}{36}\\
 %%%% WP 3 
   \ganttset{bar/.append style={fill=green!50}}
-  \ganttbar{\ref{task:algorithms} Reduction strategies etc.}{1}{24}\\
-  \ganttbar{\ref{task:annotate1} Topological \& causal constraints}{1}{18}\\
-  \ganttbar{\ref{task:annotate2} Quantitative properties}{13}{24}\\ 
-  \ganttbar{\ref{task:basic-opt} Generic optimisations of \zx-terms}{12}{24}\\
-  \ganttbar{\ref{task:ECC} Application of Error-Correction}{1}{24}\\
+  \ganttbar{\footnotesize \ref{task:algorithms} Reduction strategies etc.}{1}{24}\\
+  \ganttbar{\footnotesize \ref{task:annotate1} Topological \& causal constraints}{1}{18}\\
+  \ganttbar{\footnotesize \ref{task:annotate2} Quantitative properties}{13}{24}\\ 
+  \ganttbar{\footnotesize \ref{task:basic-opt} Generic optimisations of \zx-terms}{12}{24}\\
+  \ganttbar{\footnotesize \ref{task:ECC} Application of Error-Correction}{1}{24}\\
 %%% WP 4
   \ganttset{bar/.append style={fill=blue!50}}
-  \ganttbar{\ref{task:qdot-model} Grenoble silicon spin qubits}{13}{36}\\
-  \ganttbar{\ref{task:NQIT-model} Oxford ion traps}{13}{30}\\
-  \ganttbar{\ref{task:runnable} Formatting for target systems}{15}{30}\\
-  \ganttbar{\ref{task:opt-machine} Model-guided optimisations}{21}{36}\\
+  \ganttbar{\footnotesize \ref{task:qdot-model} Grenoble silicon spin qubits}{13}{36}\\
+  \ganttbar{\footnotesize \ref{task:NQIT-model} Oxford ion traps}{13}{30}\\
+  \ganttbar{\footnotesize \ref{task:runnable} Formatting for target systems}{15}{30}\\
+  \ganttbar{\footnotesize \ref{task:opt-machine} Model-guided optimisations}{21}{36}\\
 %%% WP 5 -- don't use
   % \ganttset{bar/.append style={fill=gray!50}}
   % \ganttbar{\ref{task:admin} \REM{Title}{1}{36}
@@ -62,7 +62,7 @@
   % \ganttbar{\ref{task:wkshopthree} \REM{Title}{1}{36}
 %%% Milestones
   \ganttset{bar/.append style={draw=none,fill=none}}
-  \ganttbar{\textbf{Milestones (see \S\ref{sec:manag-struct-milest})}}{0}{0}
+  \ganttbar{\footnotesize\textbf{Milestones (see \S\ref{sec:manag-struct-milest})}}{0}{0}
   \ganttset{inline=true}
   \ganttset{milestone inline label node/.append style={left=1mm}}
   \ganttmilestone{\ref{ms:qasmqasm}}{12}