1 \documentclass[dvipsnames,14pt,t]{beamer} |
1 \documentclass[dvipsnames,14pt,t]{beamer} |
2 \usepackage{../slides} |
2 \usepackage{../slides} |
3 \usepackage{../langs} |
3 \usepackage{../langs} |
4 \usepackage{../data} |
4 \usepackage{../data} |
5 \usepackage{../graphics} |
5 \usepackage{../graphicss} |
6 \usepackage{soul} |
6 \usepackage{soul} |
7 \usepackage{proof} |
7 \usepackage{proof} |
8 |
8 |
9 % beamer stuff |
9 % beamer stuff |
10 \renewcommand{\slidecaption}{CFL, King's College London} |
10 \renewcommand{\slidecaption}{CFL, King's College London} |
11 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
11 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
12 |
12 |
13 \newcommand\grid[1]{% |
13 %\newcommand\grid[1]{% |
14 \begin{tikzpicture}[baseline=(char.base)] |
14 % \begin{tikzpicture}[baseline=(char.base)] |
15 \path[use as bounding box] |
15 % \path[use as bounding box] |
16 (0,0) rectangle (1em,1em); |
16 % (0,0) rectangle (1em,1em); |
17 \draw[red!50, fill=red!20] |
17 % \draw[red!50, fill=red!20] |
18 (0,0) rectangle (1em,1em); |
18 % (0,0) rectangle (1em,1em); |
19 \node[inner sep=1pt,anchor=base west] |
19 % \node[inner sep=1pt,anchor=base west] |
20 (char) at (0em,\gridraiseamount) {#1}; |
20 % (char) at (0em,\gridraiseamount) {#1}; |
21 \end{tikzpicture}} |
21 % \end{tikzpicture}} |
22 \newcommand\gridraiseamount{0.12em} |
22 %\newcommand\gridraiseamount{0.12em} |
23 |
23 |
24 \makeatletter |
24 %\makeatletter |
25 \newcommand\Grid[1]{% |
25 %\newcommand\Grid[1]{% |
26 \@tfor\z:=#1\do{\grid{\z}}} |
26 % \@tfor\z:=#1\do{\grid{\z}}} |
27 \makeatother |
27 %\makeatother |
28 |
28 |
29 \newcommand\Vspace[1][.3em]{% |
29 %\newcommand\Vspace[1][.3em]{% |
30 \mbox{\kern.06em\vrule height.3ex}% |
30 % \mbox{\kern.06em\vrule height.3ex}% |
31 \vbox{\hrule width#1}% |
31 % \vbox{\hrule width#1}% |
32 \hbox{\vrule height.3ex}} |
32 % \hbox{\vrule height.3ex}} |
33 |
33 |
34 \def\VS{\Vspace[0.6em]} |
34 %\def\VS{\Vspace[0.6em]} |
35 |
35 |
36 |
36 |
37 \begin{document} |
37 \begin{document} |
38 |
38 |
39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |