style.sty
changeset 416 708b80c825af
parent 401 2d6eb340fd98
child 442 cceb3d2dcba0
equal deleted inserted replaced
415:56bc53ba7c5b 416:708b80c825af
     3 \usepackage[sc]{mathpazo}
     3 \usepackage[sc]{mathpazo}
     4 \setmainfont[Ligatures=TeX]{Palatino Linotype}
     4 \setmainfont[Ligatures=TeX]{Palatino Linotype}
     5 \usepackage{amssymb}
     5 \usepackage{amssymb}
     6 \usepackage{amsmath}
     6 \usepackage{amsmath}
     7 \usepackage{menukeys}
     7 \usepackage{menukeys}
       
     8 \@ifpackageloaded{hyperref}{}{\usepackage{hyperref}}
       
     9 
     8 \definecolor{darkblue}{rgb}{0,0,0.6}
    10 \definecolor{darkblue}{rgb}{0,0,0.6}
     9 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
    11 \hypersetup{colorlinks=true}
       
    12 \hypersetup{linkcolor=darkblue}
       
    13 \hypersetup{urlcolor=darkblue}
    10 
    14 
    11 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
    15 
       
    16 \ifx\foobar\undefined \else
       
    17   \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
       
    18 \fi
       
    19 
    12 \definecolor{codegray}{gray}{0.9}
    20 \definecolor{codegray}{gray}{0.9}
    13 
    21 
    14 \newcommand\grid[1]{%
    22 \newcommand\grid[1]{%
    15 \begin{tikzpicture}[baseline=(char.base)]
    23 \begin{tikzpicture}[baseline=(char.base)]
    16   \path[use as bounding box]
    24   \path[use as bounding box]