% mva96.sty: MVA'96 style file for LaTeX
% Include this file like
% \documentstyle[miru96]{article}
% Please use and modify at your own risk.
% Written by Takeshi Masuda tmasuda@etl.go.jp in May 1996.
\typeout{MVA'96 Style File}
\input{twocolumn.sty}
\pagestyle{empty}
\thispagestyle{empty}

\setlength{\textheight}{240mm}
\setlength{\columnsep}{2.0pc}
\setlength{\textwidth}{167mm}
\setlength{\footheight}{0.0in}
\setlength{\topmargin}{0.0in}
\setlength{\headheight}{0.0in}
\setlength{\headsep}{0.0in}
\setlength{\oddsidemargin}{-.19in}
\setlength{\parindent}{1pc}

\def\@normalsize{\@setsize\normalsize{11pt}\xpt\@xpt
\abovedisplayskip 10pt plus2pt minus5pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6pt plus3pt
minus3pt\let\@listi\@listI} 

\def\subsize{\@setsize\subsize{12pt}\xipt\@xipt}

\def\section{\@startsection {section}{1}{\z@}{12pt plus 2pt minus 2pt}
{12pt plus 2pt minus 2pt}{\large\bf}}

\def\subsection{\@startsection {subsection}{2}{\z@}{12pt plus 2pt minus 2pt}
{12pt plus 2pt minus 2pt}{\subsize\bf}}

\def\maketitle{\par
  \begingroup
  \def\thefootnote{\fnsymbol{footnote}}
  \def\@makefnmark{\hbox 
  to 0pt{$^{\@thefnmark}$\hss}} 
  \if@twocolumn 
  \twocolumn[\@maketitle] 
  \else \newpage
  \global\@topnum\z@ \@maketitle \fi
  \thispagestyle{empty}\@thanks
  \endgroup
  \setcounter{footnote}{0}
  \let\maketitle\relax
  \let\@maketitle\relax
  \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}

\def\@maketitle{\newpage
 \null
 \vskip 2em \begin{center}
 {\LARGE \@title \par} \vskip 1.5em {\large \lineskip .5em
\begin{tabular}[t]{c}\@author
 \end{tabular}\par}
 \vskip 1em \end{center}
 \par
 \vskip 1.5em}

\def\thebibliography#1{\section*{References}%
 \list{\@biblabel{\arabic{enumi}}}{
 \settowidth{\labelwidth}{\@biblabel{#1}}
 \setlength{\leftmargin}{\labelwidth}
 \addtolength{\leftmargin}{\labelsep}
 \partopsep=0pt \parsep=0pt \topsep=0pt \itemsep=0pt
 \usecounter{enumi}}
\def\newblock{\hskip .11em plus .33em minus -.07em}
\fussy
\sfcode`\.=1000\relax}

