style.sty
changeset 331 a2c18456c6b7
parent 327 9470cd124667
child 347 22b5294daa2a
--- 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}