%+
%
% File    : INT_USER.TEX
%
% Author  : Ed Zuiderwijk                                Date : 01-Sep-1990
%
% Purpose : TeX source file for the INT Users' Manual
%
%           Adapted from the WHT Users' Manual's source file
%-----------------------------------------------------------------------------*
%
\documentstyle[twoside]{article}
%
%============= Definition of {asyoulikeit} page style ======================*
%
% Jonathan Burch        This is the terse form  -  expanded, formatted,
%  20-Jan-1989          commented version in TEX$LATEX:ASYOULIKEIT.FULL
%
\catcode`\@=11\def\ps@asyoulikeit{\def\@oddhead{\hbox{}\lp@innerhead
\lp@headfill\lp@middlehead\lp@headfill\lp@outerhead}\def\@evenhead
{\hbox{}\lp@outerhead\lp@headfill\lp@middlehead\lp@headfill\lp@innerhead}
\def\@oddfoot{\hbox{}\lp@innerfoot\lp@footfill\lp@middlefoot\lp@footfill
\lp@outerfoot}\def\@evenfoot{\hbox{}\lp@outerfoot\lp@footfill\lp@middlefoot
\lp@footfill\lp@innerfoot}\def\sectionmark##1{}\def\subsectionmark##1{}}
\def\lp@innerhead{}\def\lp@middlehead{}\def\lp@outerhead{}\def\lp@innerfoot{}
\def\lp@middlefoot{ {\thepage} }\def\lp@outerfoot{}\def\lp@headfill{\hfil}
\def\lp@footfill{\hfil}\newcommand{\lp@linefill}{\leaders\hrule height 0.55ex
depth -0.5ex\hfill}\newcommand{\innerhead}[1]{\def\lp@innerhead{#1}}
\newcommand{\middlehead}[1]{\def\lp@middlehead{#1}}\newcommand{\outerhead}[1]
{\def\lp@outerhead{#1}}\newcommand{\innerfoot}[1]{\def\lp@innerfoot{#1}}
\newcommand{\middlefoot}[1]{\def\lp@middlefoot{#1}}\newcommand{\outerfoot}[1]
{\def\lp@outerfoot{#1}}\newcommand{\lineheadfill}{\def\lp@headfill
{\lp@linefill}}\newcommand{\linefootfill}{\def\lp@footfill{\lp@linefill}}
\newcommand{\blankheadfill}{\def\lp@headfill{\hfill}}\newcommand
{\blankfootfill}{\def\lp@footfill{\hfill}}\newcommand{\documentnumber}[1]
{\def\lp@docno{#1}\outerhead{\lp@docno}}\def\lp@docno{}\def\@maketitle
{\newpage\null\vskip -14ex\hbox{}\hfill\lp@docno\vskip 13ex\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 3em}
\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}\ps@asyoulikeit\catcode`\@=12
%
%=========== End of {asyoulikeit} page style definition ====================*
%
% Page layout definitions to suit A4 paper
%
\setcounter{secnumdepth}{3}        \setcounter{tocdepth}{3}
\setlength{\topmargin}{0mm}
\setlength{\textwidth}{160mm}      \setlength{\textheight}{220mm}
\setlength{\oddsidemargin}{0mm}    \setlength{\evensidemargin}{0mm}
%
% Local definitions
% -----------------
\newcommand{\eg}{{\it e.g.}\/}    
\newcommand{\etc}{{\it etc.}\/}
\newcommand{\ie}{{\it i.e.}\/}
\newcommand{\qv}{{\it q.v.}\/}
\newcommand{\viz}{{\it viz.}\/}
\newcommand{\Degs}[1]{$#1^\circ$}                       % Degrees symbol
\newcommand{\degs}{$^\circ$}                            % degrees symbol
\newcommand{\Mins}[1]{$#1^{\scriptstyle\prime}$}         % Minutes symbol
\newcommand{\mins}{$^{\scriptstyle\prime}$}              % Minutes symbol
\newcommand{\Secs}[1]{$#1^{\scriptstyle\prime\prime}$}   % Seconds symbol
\newcommand{\secs}{$^{\scriptstyle\prime\prime}$}        % Seconds symbol
\newcommand{\key}[1]{\fbox{\sc#1}}                      % Box for keys
\newcommand{\?}{\_\hspace{0.115em}}                     % Proper spacing for 
                                                        %   underscore
%----- Display example text (#1) in typewriter font

\newcommand{\example}[1]{\\ \smallskip\hspace{1in}{\tt #1}\hfil\\
                            \smallskip\noindent}

%----- Enclose text (#2) in ruled box of given thickness (#1)

\def\boxit#1#2{\vbox{\hrule height #1pt\hbox{\vrule width #1pt\hskip 5pt
                   \vbox{\vskip 5pt #2 \vskip 5pt}\hskip 5pt
                   \vrule width #1pt}\hrule height #1pt}}

%----- Display boxed warning text (#1)

\def\warning#1{\bigskip
               \setbox1=\vbox{\tolerance=5000\parfillskip=0pt
               \hsize=3in\noindent#1}
               \centerline{\boxit{1.0}{\box1}}
               \bigskip}

%----- Definitions to aid display of help text 
%         (modelled on \item and \itemitem)

\def\helpindent#1{\setbox2=\hbox to\parindent{{\it #1}\hfil}
                  \indent\llap{\box2}\ignorespaces}
\def\helpitem{\parindent=70pt\par\hang\helpindent}
\def\helpitemitem{\parindent=70pt\par\indent \hangindent2\parindent \helpindent}

%----- Tables and footnotes to tables
%
\newcommand{\spacerA}{\rule{0mm}{4mm}}
\newcommand{\spacerB}{\rule[-2mm]{0mm}{5mm}}
\footnotesep=5mm
\renewcommand{\footnoterule}{{\small Notes:}}
%
%++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
% definitions from lpguide.tex
%
\def\.{\raise 0.5ex \hbox{.}}
\def\DEG{\raise 1ex \hbox{$\circ$}}
\def\min{\raise 1.25ex \hbox{$\scriptscriptstyle \prime\ $}}
\def\sec{\raise 1.25ex \hbox{$\scriptscriptstyle{\prime\prime\ }$}}
\font\ss=cmssbx10 
%
\parindent 15pt
\parskip 0pt
%
%\newcommand{\uiprompt}{ {\bf UI--$>$} }
\newcommand{\UI}[1]{{\bf UI--$>$} {\tt #1}}
\newcommand{\PE}[1]{$*${\tt #1}}
\newcommand{\ADAM}[1]{{\bf ADAM:\,$>$} {\tt #1}}
\newcommand{\INPSCF}[1]{INPSCF\,$>$ {\tt #1}}
\newcommand{\button}[1]{\key{#1}}
\newcommand{\doublebutton}[2]{\button{#1/#2}}
%
