style.sty
changeset 27 a81271342ff6
child 42 a5106bc13db6
equal deleted inserted replaced
26:a7afc2540a88 27:a81271342ff6
       
     1 \usepackage{xcolor}
       
     2 \usepackage[sc]{mathpazo}
       
     3 \usepackage{fontspec}
       
     4 \setmainfont[Ligatures=TeX]{Palatino Linotype}
       
     5 \usepackage{amssymb}
       
     6 \usepackage{amsmath}
       
     7 \usepackage{menukeys}
       
     8 \definecolor{darkblue}{rgb}{0,0,0.6}
       
     9 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
       
    10 
       
    11 %%% for trees
       
    12 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
       
    13 
       
    14 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
       
    15 \newcommand{\defn}[1]{\textit{\textbf{#1}}}
       
    16 \newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
       
    17 
       
    18 \definecolor{codegray}{gray}{0.9}
       
    19 
       
    20 \makeatletter
       
    21 \def\fnote{\gdef\@thefnmark{}\@footnotetext}
       
    22 \makeatother
       
    23