% =====================================================================
% HOL Manual LaTeX Source: layout test file
% =====================================================================

\documentstyle[12pt,fleqn,layout]{book}

\begin{document}

\setlength{\unitlength}{1mm}		  

% ---------------------------------------------------------------------
% \rsize = the width of lines around stuff
% ---------------------------------------------------------------------

\newlength{\rsize}
\setlength{\rsize}{0.1mm}

\linethickness{\rsize}

% ---------------------------------------------------------------------
% \textw = \textwidth  - width of two lines
% \texth = \textheight - width of two lines
% \headh = \headheigth - width of two lines
% ---------------------------------------------------------------------

\newlength{\textw}
\setlength{\textw}{\textwidth}
\addtolength{\textw}{-2\rsize}

\newlength{\texth}
\setlength{\texth}{\textheight}
\addtolength{\texth}{-2\rsize}

\newlength{\headh}
\setlength{\headh}{\headheight}
\addtolength{\headh}{-2\rsize}

\newlength{\footh}
\setlength{\footh}{\footheight}
\addtolength{\footh}{-2\rsize}

% ---------------------------------------------------------------------
% \eveninner = size of even-page inner margin
% \oddouter = size of odd-page outer margin
% ---------------------------------------------------------------------

\newdimen\eveninner
\eveninner=210mm
\advance\eveninner by -1\textwidth
\advance\eveninner by -1.0in
\advance\eveninner by -\evensidemargin

\newdimen\oddouter
\oddouter=210mm
\advance\oddouter by -1\textwidth
\advance\oddouter by -1.0in
\advance\oddouter by -\oddsidemargin


% ---------------------------------------------------------------------
% For frames around things
% ---------------------------------------------------------------------
\newbox\textbox

\long\def\Frame#1{\leavevmode
    \hbox{\vbox{\hrule height\rsize
              \hbox{\vrule width\rsize #1\vrule width\rsize}
  	      \hrule height\rsize}}}

% ---------------------------------------------------------------------
% Change the head/foot
% ---------------------------------------------------------------------

\makeatletter

\def\@oddfoot{\Frame{\vbox to \footh {\vfil {\hbox to \textw{\hfill}\vfil}}}}

\def\@evenfoot{\Frame{\vbox to \footh {\vfil {\hbox to \textw {\hfill}\vfil}}}}

\def\@evenhead{\Frame{\vbox to \headh {\vspace*{0.5mm} {\hbox to \textw {\hspace*{1mm}\thepage\hfil}\vfil}}}}

\def\@oddhead{\Frame{\vbox to \headh {\vspace*{0.5mm} {\hbox to \textw {\hfil
\thepage\hspace*{1mm}}\vfil}}}}

\makeatother

% ---------------------------------------------------------------------
% For converting point dimensions to mm
% ---------------------------------------------------------------------

\newcount\cnt
\newcount\cntt
\newcount\cnttt
\newdimen\dimn

\def\conv#1{\cntt=#1 \divide\cntt by 186467 
            \dimn=#1 \multiply\dimn by 10
            \cnt=\dimn \divide\cnt by 186467
            \cnttt=\cntt \multiply\cnttt by 10 
            \advance\cnt by -\cnttt \the\cntt.\the\cnt\ mm}

\def\addconv#1{\dimn=#1 \advance\dimn by 1in \cntt=\dimn
	       \divide\cntt by 186467 
               \dimn=#1 \advance\dimn by 1in \multiply\dimn by 10
               \cnt=\dimn \divide\cnt by 186467
               \cnttt=\cntt \multiply\cnttt by 10 
               \advance\cnt by -\cnttt \the\cntt.\the\cnt\ mm}


% ---------------------------------------------------------------------
% Page 1
% ---------------------------------------------------------------------

\setbox\textbox=\vbox to \texth {\vfil {\hbox to \textw {\hfil

\begin{tabular}{@{}ll}
width of text:  & \conv{\textwidth} \\
height of text:  & \conv{\textheight} \\
inner margin:  & \addconv{\oddsidemargin} \\
outer margin:  & \conv{\oddouter} \\
top margin:  & \addconv{\topmargin} \\
\end{tabular}


\hfil}\vfil}}

\noindent \Frame{\box\textbox}

\newpage

% ---------------------------------------------------------------------
% Page 2
% ---------------------------------------------------------------------

\makeatletter

\def\@oddfoot{}
\def\@evenfoot{}

\makeatother

\setbox\textbox=\vbox to \texth {\vfil {\hbox to \textw {\hfil

\begin{tabular}{@{}ll}
width of text:  & \conv{\textwidth} \\
height of text:  & \conv{\textheight} \\
inner margin:  & \conv{\eveninner} \\
outer margin:  & \addconv{\evensidemargin} \\
top margin:  & \addconv{\topmargin} \\
\end{tabular}


\hfil}\vfil}}

\noindent \Frame{\box\textbox}

\newpage



% ---------------------------------------------------------------------
% Page 3
% ---------------------------------------------------------------------

\setbox\textbox=\vbox to \texth {\vfil {\hbox to \textw {\hfil

\begin{tabular}{@{}ll}
width of text:  & \conv{\textwidth} \\
height of text:  & \conv{\textheight} \\
inner margin:  & \addconv{\oddsidemargin} \\
outer margin:  & \conv{\oddouter} \\
top margin:  & \addconv{\topmargin} \\
\end{tabular}


\hfil}\vfil}}

\noindent \Frame{\box\textbox}
\newpage

% ---------------------------------------------------------------------
% Page 4
% ---------------------------------------------------------------------

\setbox\textbox=\vbox to \texth {\vfil {\hbox to \textw {\hfil

\begin{tabular}{@{}ll}
width of text:  & \conv{\textwidth} \\
height of text:  & \conv{\textheight} \\
inner margin:  & \conv{\eveninner} \\
outer margin:  & \addconv{\evensidemargin} \\
top margin:  & \addconv{\topmargin} \\
\end{tabular}


\hfil}\vfil}}

\noindent \Frame{\box\textbox}

\makeatletter

\def\@oddfoot{\hfil \Frame{\phantom{1}}\hfil}
\def\@evenfoot{\hfil \Frame{\phantom{1}}\hfil}
\def\@evenhead{}  \def\@oddhead{}  

\makeatother

\newpage

% ---------------------------------------------------------------------
% Page 5
% ---------------------------------------------------------------------

\setbox\textbox=\vbox to \texth {\vfil {\hbox to \textw {\hfil

\begin{tabular}{@{}ll}
width of text:  & \conv{\textwidth} \\
height of text:  & \conv{\textheight} \\
inner margin:  & \conv{\eveninner} \\
outer margin:  & \addconv{\evensidemargin} \\
top margin:  & \addconv{\topmargin} \\
\end{tabular}

\hfil}\vfil}}

\noindent \Frame{\box\textbox}

\end{document}
