% DCC DOCUMENT STYLE -- released 08 October 1990
% Updated for Instituto de Computacao on July 2, 1996
%    for LaTeX 2.09
% By Pedro J. de Rezende.
%
% DCC outputs a nice double-underlined header. (Actually, it can go
% anywhere on a page, not just as a header.)

% This style is still undergoing revisions. Please, do not copy the file.
% Feel free to set a link, though.

% REVIEW:
% 1. use \ifx to check whether each field is empty, and if so, then do not
%    put the following white space.

\typeout{Document Style Option `DCC' -- Released 02 July 1996}

\def\Department{Instituto de Computa\c c\~ao}
\def\University{Universidade Estadual de Campinas}
\long\def\Title{}
\long\def\Author{}
\long\def\Date{}

\long\def\DCC{
{\normalsize\sf\noindent\Department \hfill \University}\hrule\vspace{1pt}\hrule
\vspace{1ex}
\begin{center}
{\large\sf \Title\\[1.5ex]}
{\sf \Author\\[1.5ex]}
{\small\sf \Date}
\end{center}
}\par