Slides/document/beamerthemeplaincu.sty
author zhangx
Thu, 28 Jan 2016 21:14:17 +0800
changeset 90 ed938e2246b9
parent 20 b56616fd88dd
permissions -rw-r--r--
Retrofiting of: CpsG.thy (the parallel copy of PIPBasics.thy), ExtGG.thy (The paralell copy of Implemenation.thy), PrioG.thy (The paralell copy of Correctness.thy) has completed. The next step is to overwite original copies with the paralell ones.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5
0f2d4b78f839 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
     1
%%\Providespackage{beamerthemeplainculight}[2003/11/07 ver 0.93]
0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
\NeedsTeXFormat{LaTeX2e}[1995/12/01]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
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>.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
%
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
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
% of the LaTeX Project Public License Distributed from CTAN
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
% archives in directory macros/latex/base/lppl.txt.
5
0f2d4b78f839 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
     9
 
0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
\newcommand{\slidecaption}{}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
\mode<presentation>
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
20
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    14
\usepackage{fontspec}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    15
\usefonttheme{serif}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    16
\defaultfontfeatures{Ligatures=TeX}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    17
\setromanfont{Hoefler Text}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    18
\setmonofont[Scale=MatchLowercase]{Consolas}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    19
\newfontfamily{\consolas}{Consolas}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    20
\newcommand{\tttext}[1]{{\consolas{#1}}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    21
%%\setttfont{Lucida Console}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    22
%%\setmainfont[Mapping=tex-text]{Hoefler Text}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    23
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    24
%%\renewcommand\ttdefault{lmtt}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    25
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    26
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    27
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    28
0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    30
% comic fonts fonts
20
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    31
%\DeclareFontFamily{T1}{comic}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    32
%\DeclareFontShape{T1}{comic}{m}{n}{<->s*[.9]comic8t}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    33
%\DeclareFontShape{T1}{comic}{m}{it}{<->s*[.9]comic8t}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    34
%\DeclareFontShape{T1}{comic}{m}{sc}{<->s*[.9]comic8t}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    35
%\DeclareFontShape{T1}{comic}{b}{n}{<->s*[.9]comicbd8t}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    36
%\DeclareFontShape{T1}{comic}{b}{it}{<->s*[.9]comicbd8t}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    37
%\DeclareFontShape{T1}{comic}{m}{sl}{<->ssub * comic/m/it}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    38
%\DeclareFontShape{T1}{comic}{b}{sc}{<->sub * comic/m/sc}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    39
%\DeclareFontShape{T1}{comic}{b}{sl}{<->ssub * comic/b/it}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    40
%\DeclareFontShape{T1}{comic}{bx}{n}{<->ssub * comic/b/n}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    41
%\DeclareFontShape{T1}{comic}{bx}{it}{<->ssub * comic/b/it}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    42
%\DeclareFontShape{T1}{comic}{bx}{sc}{<->sub * comic/m/sc}{}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    43
%\DeclareFontShape{T1}{comic}{bx}{sl}{<->ssub * comic/b/it}{}%
0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
%
20
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    45
%\renewcommand{\rmdefault}{comic}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    46
%\renewcommand{\sfdefault}{comic}%
0
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
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
\DeclareMathVersion{bold}% mathfont needs to be bold
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
\DeclareSymbolFont{operators}{OT1}{cmr}{b}{n}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
\SetSymbolFont{operators}{bold}{OT1}{cmr}{b}{n}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
\DeclareSymbolFont{letters}{OML}{cmm}{b}{it}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    53
\SetSymbolFont{letters}{bold}{OML}{cmm}{b}{it}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
\DeclareSymbolFont{symbols}{OMS}{cmsy}{b}{n}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
\SetSymbolFont{symbols}{bold}{OMS}{cmsy}{b}{n}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
\DeclareSymbolFont{largesymbols}{OMX}{cmex}{b}{n}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
% Frametitles
20
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    62
5
0f2d4b78f839 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
    63
\setbeamerfont{frametitle}{size={\LARGE}}
20
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    64
\setbeamerfont{frametitle}{family={\fontspec{Hoefler Text Black}}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 5
diff changeset
    65
%\setbeamerfont{frametitle}{family={\usefont{T1}{ptm}{b}{n}}
5
0f2d4b78f839 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
    66
\setbeamercolor{frametitle}{fg=ProcessBlue,bg=white}
0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    67
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
\setbeamertemplate{frametitle}{%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
\vskip 2mm  % distance from the top margin
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
\hskip -3mm % distance from left margin
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
\vbox{%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
\begin{minipage}{1.05\textwidth}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
\centering%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
\insertframetitle%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    75
\end{minipage}}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    76
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    77
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    78
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    80
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
% Foot
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
\setbeamertemplate{navigation symbols}{} 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
\usefoottemplate{%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
\vbox{%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    86
  \tinyline{%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
    \tiny\hfill\textcolor{gray!50}{\slidecaption{} --
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    88
      p.~\insertframenumber/\inserttotalframenumber}}}%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    90
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    91
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    92
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    93
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    94
\beamertemplateballitem
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    95
\setlength\leftmargini{2mm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    96
\setlength\leftmarginii{0.6cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    97
\setlength\leftmarginiii{1.5cm}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    98
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    99
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   100
% blocks
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   101
%\definecolor{cream}{rgb}{1,1,.65}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   102
\definecolor{cream}{rgb}{1,1,.8}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   103
\setbeamerfont{block title}{size=\normalsize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104
\setbeamercolor{block title}{fg=black,bg=cream}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   105
\setbeamercolor{block body}{fg=black,bg=cream}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   106
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   107
\setbeamertemplate{blocks}[rounded][shadow=true]
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   108
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   109
\setbeamercolor{boxcolor}{fg=black,bg=cream}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   110
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   111
\mode
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   112
<all>
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   113
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   114
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   115
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   116
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   117
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   118