# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1478737184 0
# Node ID a81271342ff6c7f44281d3411eb12b775d068ddc
# Parent  a7afc2540a8866aae78db6a33b66975cc4fbe447
update

diff -r a7afc2540a88 -r a81271342ff6 style.sty
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/style.sty	Thu Nov 10 00:19:44 2016 +0000
@@ -0,0 +1,23 @@
+\usepackage{xcolor}
+\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}
+
+%%% for trees
+%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
+
+\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
+\newcommand{\defn}[1]{\textit{\textbf{#1}}}
+\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
+
+\definecolor{codegray}{gray}{0.9}
+
+\makeatletter
+\def\fnote{\gdef\@thefnmark{}\@footnotetext}
+\makeatother
+