Slides/document/beamerthemeplaincudark.sty
branchNominal2-Isabelle2013
changeset 3208 da575186d492
parent 3206 fb201e383f1b
child 3209 2fb0bc0dcbf1
--- a/Slides/document/beamerthemeplaincudark.sty	Tue Feb 19 05:38:46 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,171 +0,0 @@
-\ProvidesPackage{beamerthemeplaincu}[2003/11/07 ver 0.93]
-\NeedsTeXFormat{LaTeX2e}[1995/12/01]
-
-% Copyright 2003 by Till Tantau <tantau@cs.tu-berlin.de>.
-%
-% This program can be redistributed and/or modified under the terms
-% of the LaTeX Project Public License Distributed from CTAN
-% archives in directory macros/latex/base/lppl.txt.
-
-\newcommand{\slidecaption}{}
-
-\mode<presentation>
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% comic fonts fonts
-\DeclareFontFamily{T1}{comic}{}%
-\DeclareFontShape{T1}{comic}{m}{n}{<->s*[.9]comic8t}{}%
-\DeclareFontShape{T1}{comic}{m}{it}{<->s*[.9]comic8t}{}%
-\DeclareFontShape{T1}{comic}{m}{sc}{<->s*[.9]comic8t}{}%
-\DeclareFontShape{T1}{comic}{b}{n}{<->s*[.9]comicbd8t}{}%
-\DeclareFontShape{T1}{comic}{b}{it}{<->s*[.9]comicbd8t}{}%
-\DeclareFontShape{T1}{comic}{m}{sl}{<->ssub * comic/m/it}{}%
-\DeclareFontShape{T1}{comic}{b}{sc}{<->sub * comic/m/sc}{}%
-\DeclareFontShape{T1}{comic}{b}{sl}{<->ssub * comic/b/it}{}%
-\DeclareFontShape{T1}{comic}{bx}{n}{<->ssub * comic/b/n}{}%
-\DeclareFontShape{T1}{comic}{bx}{it}{<->ssub * comic/b/it}{}%
-\DeclareFontShape{T1}{comic}{bx}{sc}{<->sub * comic/m/sc}{}%
-\DeclareFontShape{T1}{comic}{bx}{sl}{<->ssub * comic/b/it}{}%
-%
-\renewcommand{\rmdefault}{comic}%
-\renewcommand{\sfdefault}{comic}%
-\renewcommand{\mathfamilydefault}{cmr}% mathfont should be still the old one
-%
-\DeclareMathVersion{bold}% mathfont needs to be bold
-\DeclareSymbolFont{operators}{OT1}{cmr}{b}{n}%
-\SetSymbolFont{operators}{bold}{OT1}{cmr}{b}{n}%
-\DeclareSymbolFont{letters}{OML}{cmm}{b}{it}%
-\SetSymbolFont{letters}{bold}{OML}{cmm}{b}{it}%
-\DeclareSymbolFont{symbols}{OMS}{cmsy}{b}{n}%
-\SetSymbolFont{symbols}{bold}{OMS}{cmsy}{b}{n}%
-\DeclareSymbolFont{largesymbols}{OMX}{cmex}{b}{n}%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% colours
-\setbeamercolor{normal text}{fg=white}
-%%%\setbeamercolor{background canvas}{bg=black} 
-\setbeamertemplate{background canvas}[vertical shading]
-  [bottom=white!5!black,top=white!5!black,middle=white!25!black]
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Frametitles
-\setbeamerfont{frametitle}{size={\LARGE}}
-\setbeamerfont{frametitle}{family={\usefont{T1}{ptm}{b}{n}}}
-\setbeamercolor{frametitle}{fg=white!80!black}
-
-\setbeamertemplate{frametitle}{%
-\vskip 2mm  % distance from the top margin
-\hskip -3mm % distance from left margin
-\vbox{%
-\begin{minipage}{1.05\textwidth}%
-\centering%
-\insertframetitle%
-\end{minipage}}%
-}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Foot
-%
-\setbeamertemplate{navigation symbols}{} 
-\usefoottemplate{%
-\vbox{%
-  \tinyline{%
-    \tiny\hfill\textcolor{gray!50}{\slidecaption{} --
-      p.~\insertframenumber/\inserttotalframenumber}}}%
-}
-
-
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%\beamertemplateballitem
-\setbeamertemplate{itemize items}[ball]
-\setbeamercolor{item}{fg=red}
-
-\pgfdeclareradialshading[bg,parent.bg]{bigsphere}{\pgfpoint{-0.1849315ex}{.2260273ex}}%
-{%
-  color(0cm)=(bg!15);
-  color(0.1643835ex)=(bg!75);
-  color(0.3287671ex)=(bg!70!black);
-  color(0.4520547ex)=(bg!50!black)}
-
-\pgfdeclareradialshading{bigspherered}{\pgfpoint{-0.1849315ex}{.2260273ex}}%
-{%
-  color(0cm)=(red!15);
-  color(0.1643835ex)=(red!75);
-  color(0.3287671ex)=(red!70!black);
-  color(0.4520547ex)=(red!50!black)}
-
-\pgfdeclareradialshading[bg,parent.bg]{smallsphere}{\pgfpoint{-0.1479452ex}{0.18287671ex}}%
-{%
-  color(0cm)=(bg!15); 
-  color(0.1315068ex)=(bg!75);
-  color(0.2630136ex)=(bg!70!black);
-  color(0.36164383ex)=(bg!50!black)}
-
-\setlength\leftmargini{2mm}
-\setlength\leftmarginii{0.6cm}
-\setlength\leftmarginiii{1.5cm}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% blocks
-%\definecolor{cream}{rgb}{1,1,.65}
-\definecolor{cream}{rgb}{1,1,.8}
-
-\setbeamerfont{block title}{size=\normalsize}
-\setbeamercolor{block title}{fg=black,bg=cream}
-\setbeamercolor{block body}{fg=black,bg=cream}
-\setbeamertemplate{blocks}[rounded][shadow=true]
-\setbeamercolor{boxcolor}{fg=red,bg=cream}
-
-
-% 
-% Boxed environment with semi-transparent shadow. 
-% 
-\newlength{\boxw} 
-\newlength{\boxh} 
-\newlength{\shadowsize} 
-\newlength{\boxroundness} 
-\newlength{\tmpa} 
-\newsavebox{\shadowblockbox} 
-
-\setlength{\shadowsize}{6pt} 
-\setlength{\boxroundness}{3pt} 
-
-\newenvironment{shadowblock}[1]% 
-{\begin{lrbox}{\shadowblockbox}\begin{minipage}{#1}}% 
-{\end{minipage}\end{lrbox}% 
-\settowidth{\boxw}{\usebox{\shadowblockbox}}% 
-\settodepth{\tmpa}{\usebox{\shadowblockbox}}% 
-\settoheight{\boxh}{\usebox{\shadowblockbox}}% 
-\addtolength{\boxh}{\tmpa}% 
-\begin{tikzpicture} 
-    \addtolength{\boxw}{\boxroundness * 2} 
-    \addtolength{\boxh}{\boxroundness * 2} 
-
-    \foreach \x in {0,.05,...,1} 
-    { 
-        \setlength{\tmpa}{\shadowsize * \real{\x}} 
-        \fill[xshift=\shadowsize - 1pt,yshift=-\shadowsize + 1pt,
-              black,opacity=.04,rounded corners=\boxroundness] 
-            (\tmpa, \tmpa) rectangle +(\boxw - \tmpa - \tmpa, \boxh - \tmpa - \tmpa); 
-    } 
-
-    \filldraw[fill=cream, draw=black, rounded corners=\boxroundness] 
-             (0, 0) rectangle (\boxw, \boxh); 
-    \draw node[xshift=\boxroundness,yshift=\boxroundness,inner sep=0pt,
-               outer sep=0pt,anchor=south west] (0,0) {\usebox{\shadowblockbox}}; 
-\end{tikzpicture}} 
-
-
-\mode
-<all>
-
-
-
-
-
-