nominal2: Slides/document/beamerthemeplaincu.sty@66114fa3d2ee (annotated)

3224 cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	%%\Providespackage{beamerthemeplainculight}[2003/11/07 ver 0.93]
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	\NeedsTeXFormat{LaTeX2e}[1995/12/01]
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	% Copyright 2003 by Till Tantau <tantau@cs.tu-berlin.de>.
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	% This program can be redistributed and/or modified under the terms
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	% of the LaTeX Project Public License Distributed from CTAN
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	% archives in directory macros/latex/base/lppl.txt.
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\newcommand{\slidecaption}{}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	\mode<presentation>
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	\usepackage{fontspec}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	\usefonttheme{serif}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	\defaultfontfeatures{Ligatures=TeX}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	\setromanfont{Hoefler Text}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	\setmonofont[Scale=MatchLowercase]{Consolas}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	\newfontfamily{\consolas}{Consolas}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	\newcommand{\tttext}[1]{{\consolas{#1}}}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	%%\setttfont{Lucida Console}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	%%\setmainfont[Mapping=tex-text]{Hoefler Text}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	%%\renewcommand\ttdefault{lmtt}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	% comic fonts fonts
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	%\DeclareFontFamily{T1}{comic}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	%\DeclareFontShape{T1}{comic}{m}{n}{<->s*[.9]comic8t}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	%\DeclareFontShape{T1}{comic}{m}{it}{<->s*[.9]comic8t}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	%\DeclareFontShape{T1}{comic}{m}{sc}{<->s*[.9]comic8t}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	%\DeclareFontShape{T1}{comic}{b}{n}{<->s*[.9]comicbd8t}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	%\DeclareFontShape{T1}{comic}{b}{it}{<->s*[.9]comicbd8t}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	%\DeclareFontShape{T1}{comic}{m}{sl}{<->ssub * comic/m/it}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	%\DeclareFontShape{T1}{comic}{b}{sc}{<->sub * comic/m/sc}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	%\DeclareFontShape{T1}{comic}{b}{sl}{<->ssub * comic/b/it}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	%\DeclareFontShape{T1}{comic}{bx}{n}{<->ssub * comic/b/n}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	%\DeclareFontShape{T1}{comic}{bx}{it}{<->ssub * comic/b/it}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	%\DeclareFontShape{T1}{comic}{bx}{sc}{<->sub * comic/m/sc}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	%\DeclareFontShape{T1}{comic}{bx}{sl}{<->ssub * comic/b/it}{}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	%\renewcommand{\rmdefault}{comic}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	%\renewcommand{\sfdefault}{comic}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	\renewcommand{\mathfamilydefault}{cmr}% mathfont should be still the old one
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	\DeclareMathVersion{bold}% mathfont needs to be bold
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	\DeclareSymbolFont{operators}{OT1}{cmr}{b}{n}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	\SetSymbolFont{operators}{bold}{OT1}{cmr}{b}{n}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	\DeclareSymbolFont{letters}{OML}{cmm}{b}{it}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	\SetSymbolFont{letters}{bold}{OML}{cmm}{b}{it}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	\DeclareSymbolFont{symbols}{OMS}{cmsy}{b}{n}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	\SetSymbolFont{symbols}{bold}{OMS}{cmsy}{b}{n}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	\DeclareSymbolFont{largesymbols}{OMX}{cmex}{b}{n}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	% Frametitles
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	\setbeamerfont{frametitle}{size={\LARGE}}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	\setbeamerfont{frametitle}{family={\fontspec{Hoefler Text Black}}}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	%\setbeamerfont{frametitle}{family={\usefont{T1}{ptm}{b}{n}}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	\setbeamercolor{frametitle}{fg=ProcessBlue,bg=white}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	\setbeamertemplate{frametitle}{%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	\vskip 2mm % distance from the top margin
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	\hskip -3mm % distance from left margin
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	\vbox{%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	\begin{minipage}{1.05\textwidth}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	\centering%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	\insertframetitle%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	\end{minipage}}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	% Foot
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	\setbeamertemplate{navigation symbols}{}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	\usefoottemplate{%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	\vbox{%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	\tinyline{%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	\tiny\hfill\textcolor{gray!50}{\slidecaption{} --
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	p.~\insertframenumber/\inserttotalframenumber}}}%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	\beamertemplateballitem
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	\setlength\leftmargini{2mm}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	\setlength\leftmarginii{0.6cm}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	\setlength\leftmarginiii{1.5cm}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	% blocks
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	101	%\definecolor{cream}{rgb}{1,1,.65}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102	\definecolor{cream}{rgb}{1,1,.8}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103	\setbeamerfont{block title}{size=\normalsize}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104	\setbeamercolor{block title}{fg=black,bg=cream}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105	\setbeamercolor{block body}{fg=black,bg=cream}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	\setbeamertemplate{blocks}[rounded][shadow=true]
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109	\setbeamercolor{boxcolor}{fg=black,bg=cream}
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	110
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	\mode
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	<all>
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	115
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	116
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117
cf451e182bf0 added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	118

author	Christian Urban <urbanc@in.tum.de>
	Thu, 19 Apr 2018 13:58:22 +0100
branch	Nominal2-Isabelle2016-1
changeset 3246	66114fa3d2ee
parent 3224	cf451e182bf0
permissions	-rw-r--r--