Slides/document/beamerthemeplaincu.sty
author urbanc
Tue, 02 Aug 2011 15:27:37 +0000
changeset 182 560712a29a36
parent 16 663816814e3e
child 391 5c283ecefda6
permissions -rw-r--r--
a version of the proof which dispenses with the notion of string-subtraction
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     1
\ProvidesPackage{beamerthemeplaincu}[2003/11/07 ver 0.93]
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     2
\NeedsTeXFormat{LaTeX2e}[1995/12/01]
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     3
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     4
% Copyright 2003 by Till Tantau <tantau@cs.tu-berlin.de>.
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     5
%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     6
% This program can be redistributed and/or modified under the terms
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     7
% of the LaTeX Project Public License Distributed from CTAN
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     8
% archives in directory macros/latex/base/lppl.txt.
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
     9
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    10
\newcommand{\slidecaption}{}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    11
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    12
\mode<presentation>
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    13
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    14
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    15
% comic fonts fonts
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    16
\DeclareFontFamily{T1}{comic}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    17
\DeclareFontShape{T1}{comic}{m}{n}{<->s*[.9]comic8t}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    18
\DeclareFontShape{T1}{comic}{m}{it}{<->s*[.9]comic8t}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    19
\DeclareFontShape{T1}{comic}{m}{sc}{<->s*[.9]comic8t}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    20
\DeclareFontShape{T1}{comic}{b}{n}{<->s*[.9]comicbd8t}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    21
\DeclareFontShape{T1}{comic}{b}{it}{<->s*[.9]comicbd8t}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    22
\DeclareFontShape{T1}{comic}{m}{sl}{<->ssub * comic/m/it}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    23
\DeclareFontShape{T1}{comic}{b}{sc}{<->sub * comic/m/sc}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    24
\DeclareFontShape{T1}{comic}{b}{sl}{<->ssub * comic/b/it}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    25
\DeclareFontShape{T1}{comic}{bx}{n}{<->ssub * comic/b/n}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    26
\DeclareFontShape{T1}{comic}{bx}{it}{<->ssub * comic/b/it}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    27
\DeclareFontShape{T1}{comic}{bx}{sc}{<->sub * comic/m/sc}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    28
\DeclareFontShape{T1}{comic}{bx}{sl}{<->ssub * comic/b/it}{}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    29
%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    30
\renewcommand{\rmdefault}{comic}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    31
\renewcommand{\sfdefault}{comic}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    32
\renewcommand{\mathfamilydefault}{cmr}% mathfont should be still the old one
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    33
%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    34
\DeclareMathVersion{bold}% mathfont needs to be bold
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    35
\DeclareSymbolFont{operators}{OT1}{cmr}{b}{n}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    36
\SetSymbolFont{operators}{bold}{OT1}{cmr}{b}{n}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    37
\DeclareSymbolFont{letters}{OML}{cmm}{b}{it}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    38
\SetSymbolFont{letters}{bold}{OML}{cmm}{b}{it}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    39
\DeclareSymbolFont{symbols}{OMS}{cmsy}{b}{n}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    40
\SetSymbolFont{symbols}{bold}{OMS}{cmsy}{b}{n}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    41
\DeclareSymbolFont{largesymbols}{OMX}{cmex}{b}{n}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    42
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    43
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    44
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    45
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    46
%                              % Title page  
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    47
%\usetitlepagetemplate{
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    48
%  \vbox{}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    49
%  \vfill
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    50
%  \begin{centering}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    51
%    \Large\structure{\textrm{\textit{{\inserttitle}}}}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    52
%    \vskip1em\par
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    53
%    \normalsize\insertauthor\vskip1em\par
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    54
%    {\scriptsize\insertinstitute\par}\par\vskip1em
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    55
%    \insertdate\par\vskip1.5em
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    56
%    \inserttitlegraphic
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    57
%  \end{centering}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    58
%  \vfill
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    59
%  }
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    60
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    61
                                % Part page  
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    62
%\usepartpagetemplate{
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    63
%  \begin{centering}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    64
%    \Large\structure{\textrm{\textit{\partname~\@Roman\c@part}}}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    65
%    \vskip1em\par
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    66
%    \textrm{\textit{\insertpart}}\par
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    67
%  \end{centering}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    68
%  }
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    69
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    70
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    71
% Frametitles
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    72
\setbeamerfont{frametitle}{size={\huge}}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    73
\setbeamerfont{frametitle}{family={\usefont{T1}{ptm}{b}{n}}}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    74
\setbeamercolor{frametitle}{fg=gray,bg=white}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    75
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    76
\setbeamertemplate{frametitle}{%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    77
\vskip 2mm  % distance from the top margin
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    78
\hskip -3mm % distance from left margin
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    79
\vbox{%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    80
\begin{minipage}{1.05\textwidth}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    81
\centering%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    82
\insertframetitle%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    83
\end{minipage}}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    84
}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    85
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    86
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    87
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    88
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    89
% Foot
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    90
%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    91
\setbeamertemplate{navigation symbols}{} 
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    92
\usefoottemplate{%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    93
\vbox{%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    94
  \tinyline{%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    95
    \tiny\hfill\textcolor{gray!50}{\slidecaption{} --
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    96
      p.~\insertframenumber/\inserttotalframenumber}}}%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    97
}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    98
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
    99
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   100
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   101
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   102
\beamertemplateballitem
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   103
\setlength\leftmargini{2mm}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   104
\setlength\leftmarginii{0.6cm}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   105
\setlength\leftmarginiii{1.5cm}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   106
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   107
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   108
% blocks
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   109
%\definecolor{cream}{rgb}{1,1,.65}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   110
\definecolor{cream}{rgb}{1,1,.8}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   111
\setbeamerfont{block title}{size=\normalsize}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   112
\setbeamercolor{block title}{fg=black,bg=cream}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   113
\setbeamercolor{block body}{fg=black,bg=cream}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   114
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   115
\setbeamertemplate{blocks}[rounded][shadow=true]
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   116
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   117
\setbeamercolor{boxcolor}{fg=black,bg=cream}
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   118
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   119
\mode
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   120
<all>
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   121
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   122
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   123
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   124
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   125
663816814e3e added initial slides for informal talk in Cambridge
urbanc
parents:
diff changeset
   126