
diff -r 0806e45d873c -r a2c18456c6b7 style.sty
--- a/style.sty	Fri Sep 25 08:51:12 2015 +0100
+++ b/style.sty	Fri Sep 25 17:39:02 2015 +0100
@@ -41,3 +41,7 @@
 \newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
 
 \definecolor{codegray}{gray}{0.9}
+
+\newcommand{\HEADER}{{\bf Please submit your solutions via email. Please submit 
+only ASCII text or PDFs. Every solution should be preceeded by the corresponding 
+question. Solutions will only be accepted until 30th December!}\bigskip}




