diff -r 56bc53ba7c5b -r 708b80c825af style.sty --- a/style.sty Wed Oct 21 13:31:56 2015 +0100 +++ b/style.sty Wed Oct 21 22:07:46 2015 +0100 @@ -5,10 +5,18 @@ \usepackage{amssymb} \usepackage{amsmath} \usepackage{menukeys} +\@ifpackageloaded{hyperref}{}{\usepackage{hyperref}} + \definecolor{darkblue}{rgb}{0,0,0.6} -\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref} +\hypersetup{colorlinks=true} +\hypersetup{linkcolor=darkblue} +\hypersetup{urlcolor=darkblue} + -\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% +\ifx\foobar\undefined \else + \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% +\fi + \definecolor{codegray}{gray}{0.9} \newcommand\grid[1]{%