% Style for the PLUS style (for the Proceedings of FUN with Algorithms)
% V. Gervasi 21 Jan 2003
% R. Grossi 21 Apr 2004 

\ProvidesPackage{plus}
\RequirePackage{fancyhdr}
\RequirePackage{times}

\setlength{\textwidth}{12cm}
\setlength{\textheight}{16.5cm}
\setlength{\topmargin}{2.5cm}
\setlength{\oddsidemargin}{4.3cm}
\addtolength{\oddsidemargin}{-1in}
\setlength{\evensidemargin}{4.6cm}
\addtolength{\evensidemargin}{-1in}
\setlength{\headsep}{1.5cm}
\setlength{\footskip}{1cm}

\newenvironment{headquote}
	{\hfill\begin{minipage}{.666\textwidth}\small\it}
	{\end{minipage}\vspace{\baselineskip}}

\renewcommand{\and}{\\}

\renewcommand{\maketitle}{%
\noindent
\begin{minipage}{\textwidth}%
\vspace{36pt}%
\large\MakeUppercase{\@title}\par%
\vskip 12pt
\begin{tabular}[t]{@{}l}%
\@author%
\end{tabular}%
\vskip 12pt
\end{minipage}%
\fancyhead{}
\fancyfoot{}
\fancyhead[CE]{\footnotesize\it{FUN with Algorithms}}
\fancyhead[CO]{\footnotesize\it\@title}
\fancyfoot[LE,RO]{\iffloatpage{}{\thepage}}
\renewcommand{\headrulewidth}{0pt}
\renewcommand{\footrulewidth}{0pt}
\pagestyle{fancy}
\thispagestyle{empty}
}
\setcounter{section}{0}

\def\@seccntformat#1{\mbox{\rm\csname the#1\endcsname.}\ }

\renewcommand\section{\@startsection {section}{1}{\z@}%
                                   {-3.5ex \@plus -1ex \@minus -.2ex}%
                                   {2.3ex \@plus.2ex}%
                                   {\normalfont\large\it}}
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
                                     {1.5ex \@plus .2ex}%
                                     {\normalfont\normalsize\it}}
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
                                     {1.5ex \@plus .2ex}%
                                     {\normalfont\normalsize\it}}
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
                                    {3.25ex \@plus1ex \@minus.2ex}%
                                    {-1em}%
                                    {\normalfont\normalsize\bfseries}}
\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\parindent}%
                                       {3.25ex \@plus1ex \@minus .2ex}%
                                       {-1em}%
                                      {\normalfont\normalsize\bfseries}}

\renewcommand\@begintheorem[2]{\trivlist
   \item[\hskip \labelsep{\sc #1\ #2}]\itshape}
\renewcommand\@opargbegintheorem[3]{\trivlist
      \item[\hskip \labelsep{\sc #1\ #2\ (#3)}]\itshape}

\def\boxit#1{\vbox{\hrule\hbox{\vrule\kern3pt
  \vbox{\kern3pt#1\kern3pt}\kern3pt\vrule}\hrule}}
\def\Box{\boxit{\null}} 
\newenvironment{proof}{\trivlist\item[]\emph{Proof}:}%
{\unskip\nobreak\hskip 1em plus 1fil\nobreak$\Box$
\parfillskip=0pt%
\endtrivlist}