7 \usepackage{amsmath} |
7 \usepackage{amsmath} |
8 \usepackage{menukeys} |
8 \usepackage{menukeys} |
9 \definecolor{darkblue}{rgb}{0,0,0.6} |
9 \definecolor{darkblue}{rgb}{0,0,0.6} |
10 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref} |
10 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref} |
11 |
11 |
12 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
12 \newcommand\grid[1]{% |
|
13 \begin{tikzpicture}[baseline=(char.base)] |
|
14 \path[use as bounding box] |
|
15 (0,0) rectangle (1em,1em); |
|
16 \draw[red!50, fill=red!20] |
|
17 (0,0) rectangle (1em,1em); |
|
18 \node[inner sep=1pt,anchor=base west] |
|
19 (char) at (0em,\gridraiseamount) {#1}; |
|
20 \end{tikzpicture}} |
|
21 \newcommand\gridraiseamount{0.12em} |
|
22 |
|
23 \makeatletter |
|
24 \newcommand\Grid[1]{% |
|
25 \@tfor\z:=#1\do{\grid{\z}}} |
|
26 \makeatother |
|
27 |
|
28 \newcommand\Vspace[1][.3em]{% |
|
29 \mbox{\kern.06em\vrule height.3ex}% |
|
30 \vbox{\hrule width#1}% |
|
31 \hbox{\vrule height.3ex}} |
|
32 |
|
33 \def\VS{\Vspace[0.6em]} |
|
34 |
|
35 |
|
36 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}} |
|
37 \newcommand{\defn}[1]{\textit{\textbf{#1}}} |
|
38 \newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}} |
|
39 |
13 \definecolor{codegray}{gray}{0.9} |
40 \definecolor{codegray}{gray}{0.9} |