| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Fri, 07 Nov 2014 00:27:25 +0000 | |
| changeset 289 | 71f52ad510c2 |
| parent 271 | 4796f424cf12 |
| child 366 | 34a8f73b2c94 |
| permissions | -rw-r--r-- |
|
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
\usepackage{xcolor}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
\usepackage{fontspec}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
\usepackage[sc]{mathpazo}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
\setmainfont[Ligatures=TeX]{Palatino Linotype}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
\usepackage{amssymb}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
\usepackage{amsmath}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
\usepackage{menukeys}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
\definecolor{darkblue}{rgb}{0,0,0.6}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
|
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
12 |
\definecolor{codegray}{gray}{0.9}
|
|
271
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
13 |
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
14 |
\newcommand\grid[1]{%
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
15 |
\begin{tikzpicture}[baseline=(char.base)]
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
16 |
\path[use as bounding box] |
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
17 |
(0,0) rectangle (1em,1em); |
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
18 |
\draw[red!50, fill=red!20] |
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
19 |
(0,0) rectangle (1em,1em); |
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
20 |
\node[inner sep=1pt,anchor=base west] |
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
21 |
(char) at (0em,\gridraiseamount) {#1};
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
22 |
\end{tikzpicture}}
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
23 |
\newcommand\gridraiseamount{0.12em}
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
24 |
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
25 |
\makeatletter |
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
26 |
\newcommand\Grid[1]{%
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
27 |
\@tfor\z:=#1\do{\grid{\z}}}
|
|
4796f424cf12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
160
diff
changeset
|
28 |
\makeatother |