
diff -r bc460179148c -r 34e901c529ce style.sty
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/style.sty	Mon Sep 01 18:05:39 2014 +0100
@@ -0,0 +1,13 @@
+\usepackage{xcolor}
+\usepackage{fontspec}
+\usepackage[sc]{mathpazo}
+\usepackage{fontspec}
+\setmainfont[Ligatures=TeX]{Palatino Linotype}
+\usepackage{amssymb}
+\usepackage{amsmath}
+\usepackage{menukeys}
+\definecolor{darkblue}{rgb}{0,0,0.6}
+\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
+
+\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
+\definecolor{codegray}{gray}{0.9}




