lexing: Slides/slides2.sty@660cf698eb26 (annotated)

103 ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	\usepackage[absolute,overlay]{textpos}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	\usepackage{xcolor}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	\usepackage{fontspec}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	\usepackage[sc]{mathpazo}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	\usefonttheme{serif}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	\defaultfontfeatures{Ligatures=TeX}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	\defaultfontfeatures{Mapping=tex-text}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	\setromanfont{Hoefler Text}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	\setmonofont[Scale=.88]{Consolas}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\newfontfamily{\consolas}{Consolas}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	\definecolor{darkblue}{rgb}{0,0,0.6}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	\hypersetup{colorlinks=true}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	\hypersetup{linkcolor=darkblue}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	\hypersetup{urlcolor=darkblue}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	\newcommand{\tttext}[1]{{\consolas{#1}}}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	\newcommand{\slidecaption}{}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	% Frametitles
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	\setbeamerfont{frametitle}{size={\LARGE}}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	\setbeamerfont{frametitle}{family={\fontspec{Hoefler Text Black}}}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	\setbeamercolor{frametitle}{fg=ProcessBlue,bg=white}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	\setbeamertemplate{frametitle}{%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	\vskip 2mm % distance from the top margin
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	\hskip -3mm % distance from left margin
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	\vbox{%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	\begin{minipage}{1.05\textwidth}%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	\centering%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	\begin{tabular}{@{}c@{}}%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	\insertframetitle%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	\end{tabular}%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	\end{minipage}\vspace{-10pt}}%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	% Foot
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	\setbeamertemplate{navigation symbols}{}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	\usefoottemplate{%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	\vbox{%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	\tinyline{%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	\tiny\hfill\textcolor{gray!50}{\slidecaption{} --
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	p.~\insertframenumber/\inserttotalframenumber}}}%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	\beamertemplateballitem
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	\setlength\leftmargini{2mm}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	\setlength\leftmarginii{0.6cm}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	\setlength\leftmarginiii{1.5cm}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	\setbeamertemplate{itemize/enumerate body end}{\vspace{-2mm}}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	% blocks
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	%\definecolor{cream}{rgb}{1,1,.65}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	\definecolor{cream}{rgb}{1,1,.8}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	\setbeamerfont{block title}{size=\normalsize}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	\setbeamercolor{block title}{fg=black,bg=cream}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	\setbeamercolor{block body}{fg=black,bg=cream}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	\setbeamertemplate{blocks}[rounded][shadow=true]
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	\setbeamercolor{boxcolor}{fg=black,bg=cream}
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	\mode
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	<all>
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85
ffe5d850df62 added some slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86

author	Chengsong
	Tue, 25 Jul 2023 17:28:29 +0100
changeset 667	660cf698eb26
parent 359	fedc16924b76
permissions	-rw-r--r--