<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% Manual.sty 11 july 1989, derived from article.sty 8 april 1985
% Implementattion of the manual page style used at the CAWCS for general 
% software user documentation.
%
% Copyright (C) 1989 by Marion van Geest,
% Center for the Automation of Weapon and Command Systems,
% Royal Netherlands Navy
%
% Manual defines some commands and an environment:
%
% \tool{name}{1 line description}{version number} 
% \begin{para}{title} .. \end{para}
%          used to document all sorts of software tools in Unix-like
%          manual page style
% \package{name}{version number} 
%          used to document Ada package specifications
% \urm{name}{version number} 
%          used to document all sorts of software tools in
%          users reference manuals
%          (titlepage is mandatory)
%
% and its own pagestyle so \pagestyle cannot be used
%
% Contact:
%
% Marion van Geest,
% KM/CAWCS
% P.O. Box 10000
% 1780 CA Den Helder
% The Netherlands



\typeout{Document Style 'Manual'. Released 11 juli 1989 Ground Support}

\def\@ptsize{0} 
\@namedef{ds@11pt}{\def\@ptsize{1}}
\@namedef{ds@12pt}{\def\@ptsize{2}} 

\def\ds@twoside{
    \@twosidetrue 
    \@mparswitchtrue}
 
\def\ds@draft{\overfullrule 5pt}

\@options
\input art1\@ptsize.sty\relax

%Page layout inserts

\vsize=29.5cm
\hsize=21cm
\topmargin=-36pt
\oddsidemargin=  36pt
\evensidemargin= 0pt
\textheight=24cm
\textwidth=15.0cm
\parindent=0pt
\parskip=0pt
\marginparsep=0cm
\marginparwidth=0cm

%end of inserts



\def\labelenumi{\arabic{enumi}.} 
\def\theenumi{\arabic{enumi}} 
\def\labelenumii{(\alph{enumii})}
\def\theenumii{\alph{enumii}}
\def\p@enumii{\theenumi}
\def\labelenumiii{\roman{enumiii}.}
\def\theenumiii{\roman{enumiii}}
\def\p@enumiii{\theenumi(\theenumii)}
\def\labelenumiv{\Alph{enumiv}.}
\def\theenumiv{\Alph{enumiv}} 
\def\p@enumiv{\p@enumiii\theenumiii}

\def\labelitemi{$\bullet$}
\def\labelitemii{\bf --}
\def\labelitemiii{$\ast$}
\def\labelitemiv{$\cdot$}


\def\verse{
    \let\\=\@centercr 
    \list{}{\itemsep\z@ 
	    \itemindent -1.5em
	    \listparindent \itemindent 
	    \rightmargin\leftmargin
	    \advance\leftmargin 1.5em}
    \item[]}

\let\endverse\endlist

\def\quotation{
    \list{}{\listparindent 0em
	    \itemindent\listparindent
	    \rightmargin\leftmargin 
	    \parsep 0pt plus 1pt}
    \item[]}

\let\endquotation=\endlist

\def\quote{
    \list{}{\rightmargin\leftmargin}
    \item[]}

\let\endquote=\endlist

\def\descriptionlabel#1{\hspace\labelsep \bf #1}

\def\description{
    \list{}{\labelwidth\z@ 
	    \itemindent-\leftmargin
	    \let\makelabel\descriptionlabel}}

\let\enddescription\endlist



\def\theequation{\arabic{equation}}


\def\titlepage{
    \@restonecolfalse
    \if@twocolumn
	\@restonecoltrue
	\onecolumn
    \else 
	\newpage 
    \fi 
    \thispagestyle{empty}
    \c@page\z@}

\def\endtitlepage{
    \if@restonecol
	\twocolumn 
    \else 
	\newpage 
    \fi}

\arraycolsep 5pt 
\tabcolsep 6pt 
\arrayrulewidth .4pt 
\doublerulesep 2pt 
\tabbingsep 
\labelsep 

\skip\@mpfootins = \skip\footins
\fboxsep = 3pt 
\fboxrule = .4pt 


\newcounter{part}
\newcounter {section}
\newcounter {subsection}[section]
\newcounter {subsubsection}[subsection]
\newcounter {paragraph}[subsubsection]
\newcounter {subparagraph}[paragraph]

\def\thepart{\Roman{part}} \def\thesection {\arabic{section}}
\def\thesubsection {\thesection.\arabic{subsection}}
\def\thesubsubsection {\thesubsection .\arabic{subsubsection}}
\def\theparagraph {\thesubsubsection.\arabic{paragraph}}
\def\thesubparagraph {\theparagraph.\arabic{subparagraph}}


\def\@pnumwidth{1.55em}
\def\@tocrmarg {2.55em}
\def\@dotsep{4.5}
\setcounter{tocdepth}{3}

\def\tableofcontents{
    \section*{Contents
	\markboth{CONTENTS}{CONTENTS}}
	\@starttoc{toc}}

\def\l@part#1#2{
    \addpenalty{\@secpenalty}
    \addvspace{2.25em plus 1pt} 
    \begingroup
	\@tempdima 3em 
	\parindent \z@ 
	\rightskip \@pnumwidth 
	\parfillskip-\@pnumwidth 
	{\large \bf 
	    \leavevmode #1
	    \hfil 
	    \hbox to\@pnumwidth{\hss #2}}
	\par
	\nobreak 
    \endgroup}

\def\l@section#1#2{
    \addpenalty{\@secpenalty} 
    \addvspace{1.0em plus 1pt}
    \@tempdima 1.5em 
    \begingroup
	\parindent \z@ 
	\rightskip \@pnumwidth 
	\parfillskip -\@pnumwidth 
	\bf 
	    \leavevmode #1
	    \hfil 
	    \hbox to\@pnumwidth{\hss #2}
	    \par
    \endgroup}

\def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
\def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
\def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
\def\l@subparagraph{\@dottedtocline{5}{10em}{5em}}

\def\listoffigures{
    \section*{List of Figures
	\markboth{LIST OF FIGURES}{LIST OF FIGURES}}
    \@starttoc{lof}}

\def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}

\def\listoftables{
    \section*{List of Tables
	\markboth{LIST OF TABLES}{LIST OF TABLES}}
    \@starttoc{lot}}

\let\l@table\l@figure



\def\thebibliography#1{
    \section*{References
        \markboth{REFERENCES}{REFERENCES}}
    \list{[\arabic{enumi}]}
         {\settowidth\labelwidth{[#1]}
          \leftmargin\labelwidth
          \advance\leftmargin\labelsep
          \usecounter{enumi}}
    \def\newblock{\hskip .11em plus .33em minus -.07em}
    \sloppy
    \sfcode`\.=1000\relax}

\let\endthebibliography=\endlist
 


\newif\if@restonecol

\def\theindex{
    \@restonecoltrue
    \if@twocolumn
          \@restonecolfalse
    \fi
    \columnseprule \z@
    \columnsep 35pt
    \twocolumn[\section*{Index}]
    \markboth{INDEX}{INDEX}
    \thispagestyle{plain}
    \parindent\z@
    \parskip\z@ plus .3pt\relax
    \let\item\@idxitem}

\def\@idxitem{\par\hangindent 40pt}
\def\subitem{\par\hangindent 40pt \hspace*{20pt}}
\def\subsubitem{\par\hangindent 40pt \hspace*{30pt}}
\def\endtheindex{\if@restonecol\onecolumn\else\clearpage\fi}
\def\indexspace{\par \vskip 10pt plus 5pt minus 3pt\relax}


\def\footnoterule{
    \kern-3\p@ 
    \hrule width .4
    \columnwidth 
    \kern 2.6\p@} 

\long\def\@makefntext#1{
    \parindent 1em
    \noindent 
    \hbox to 1.8em
    {\hss$^{\@thefnmark}$}
    #1}



\setcounter{topnumber}{2}
\def\topfraction{.7}
\setcounter{bottomnumber}{1}
\def\bottomfraction{.3}
\setcounter{totalnumber}{3}
\def\textfraction{.2}
\def\floatpagefraction{.5}
\setcounter{dbltopnumber}{2}
\def\dbltopfraction{.7}
\def\dblfloatpagefraction{.5}

\long\def\@makecaption#1#2{
    \vskip 10pt 
    \setbox\@tempboxa\hbox{#1: #2}
    \ifdim \wd\@tempboxa &gt;\hsize 
        \unhbox\@tempboxa
        \par 
    \else 
        \hbox to\hsize{\hfil\box\@tempboxa\hfil} 
    \fi}


\newcounter{figure}
\def\thefigure{\@arabic\c@figure}
\def\fps@figure{tbp}
\def\ftype@figure{1}
\def\ext@figure{lof}
\def\fnum@figure{Figure \thefigure}
\def\figure{\@float{figure}}
\let\endfigure\end@float
\@namedef{figure*}{\@dblfloat{figure}}
\@namedef{endfigure*}{\end@dblfloat}

\newcounter{table}
\def\thetable{\@arabic\c@table}
\def\fps@table{tbp}
\def\ftype@table{2}
\def\ext@table{lot}
\def\fnum@table{Table \thetable}
\def\table{\@float{table}}
\let\endtable\end@float
\@namedef{table*}{\@dblfloat{table}}
\@namedef{endtable*}{\end@dblfloat}


\def\maketitle{
  \if@toolspec \@maketooltitle
  \else
    \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{plain}
    \@thanks
    \endgroup
    \setcounter{footnote}{0}
    \let\maketitle\relax
    \let\@maketitle\relax
    \gdef\@thanks{}
    \gdef\@author{}
    \gdef\@title{}
    \let\thanks\relax
  \fi}

\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 
        {\large \@date} 
    \end{center}
    \par
    \vskip 1.5em}
 
\def\abstract{
    \if@twocolumn
        \section*{Abstract}
    \else 
        \small 
        \begin{center}
            {\bf Abstract
                 \vspace{-.5em}
                 \vspace{0pt}} 
        \end{center}
        \quotation 
    \fi}

\def\endabstract{
    \if@twocolumn
    \else
        \endquotation
    \fi}


\mark{{}{}} 

\if@twoside 
    \def\ps@headings{
	\def\@oddfoot{}
	\def\@evenfoot{}
	\def\@evenhead{\rm\thepage\hfil \sl \leftmark}
	\def\@oddhead{\hbox{}\sl \rightmark \hfil\rm\thepage}
        \def\sectionmark##1{\markboth 
               {\uppercase{
                \ifnum \c@secnumdepth&gt;\z@
                   \thesection\hskip 1em\relax \fi 
                   ##1}}
               {}}
        \def\subsectionmark##1{\markright
               {\ifnum \c@secnumdepth&gt;\@ne
                   \thesubsection\hskip 1em\relax \fi 
                   ##1}}}
     
\else 
    \def\ps@headings{
        \def\@oddfoot{}
        \def\@evenfoot{}
        \def\@oddhead{\hbox{}\sl \rightmark \hfil \rm\thepage}
        \def\sectionmark##1{\markright{\uppercase
               {\ifnum \c@secnumdepth &gt;\z@
                   \thesection\hskip 1em\relax \fi 
                   ##1}}}}
\fi

\def\ps@myheadings{\def\@oddhead{\hfil\large\bf\rightmark\hbox{}}
		   \def\@oddfoot{\hfil\rm\thepage\hfil}
		   \def\@evenhead{\hbox{}\large\bf\leftmark\hfill}
		   \def\@evenfoot{\hfil\rm\thepage\hfil}
		   \def\sectionmark##1{}
		   \def\subsectionmark##1{}}

% Special commands for manual pages, ada specs and urms

\newif\if@toolspec \@toolspecfalse

\def\tool#1#2#3{\gdef\@headname{#1}
                \gdef\@tooldesc{#2}
		\gdef\@headvrs{#3}
                \@toolspectrue
                \pagestyle{manual}}

\def\package#1#2{\gdef\@headname{#1}
		 \gdef\@headvrs{#2}
                 \pagestyle{manual}}

\def\urm#1#2{\gdef\@headname{#1}
	     \gdef\@headvrs{#2}
             \pagestyle{manual}}

\def\ps@manual{\def\@oddhead{\hbox{}Version: \@headvrs\hfill
                             {\large\bf\@headname}\hbox{}}
	       \def\@oddfoot{\hfil\rm\thepage\hfil}
	       \def\@evenhead{\hbox{}{\large\bf\@headname}
                              \hfill Version: \@headvrs\hbox{}}
	       \def\@evenfoot{\hfil\rm\thepage\hfil}
	       \def\sectionmark##1{}
	       \def\subsectionmark##1{}}

\def\@maketooltitle{
    \par
    \begingroup
	\newpage
	\global\@topnum\z@ 
	\thispagestyle{manual}
	\parindent0cm
        \begingroup
	  \para{Name}
	  {\Large\bf \@headname} -- \@tooldesc
	  \endpara
	\endgroup
	\par
	\begingroup
	  \para{Date}
	  \today
	  \endpara
	\endgroup
    \endgroup}

\def\para#1{
\vspace{0.5cm}
\goodbreak
{\Large{\em #1}}
\nobreak
\quotation}

\def\endpara{\endquotation}



\def\today{
    \ifcase\month\or
            January\or February\or March\or April\or May\or June\or
            July\or August\or September\or October\or November\or December
    \fi
    \space\number\day, 
    \number\year}


\ps@plain \pagenumbering{arabic} \onecolumn 

\if@twoside
\else
    \raggedbottom\fi 

</pre></body></html>