holtex.sty

% -------------------------------------------------------
% holtex.sty v1.0
%
% For Use with documents generated by EmitTeX.
%
% Users can customize this file -- some packages may
% become surplus to requirements. The packages underscore
% and fancyvrb are always needed.
% -------------------------------------------------------

\NeedsTeXFormat{LaTeX2e}
%\usepackage[a4paper, headheight=14pt]{geometry}
\usepackage{fancyhdr}    % Used in HOLpagestyle and HOLindex
\usepackage{color}       % Used in HOLDfnTag and HOLThmTag
\usepackage{holtexbasic} % Required


% Uncomment for Helvetica font.
% Note that this will affect alignment.
%\fvset{fontfamily=helvetica}

\renewcommand{\HOLpagestyle}{
  \pagestyle{fancyplain}\fancyhf{}
  \renewcommand{\headrulewidth}{0.5pt}
  \renewcommand{\footrulewidth}{0.5pt}
  \renewcommand{\sectionmark}[1]{\markboth{\textsl{\uppercase{##1}}}{}}
  \if@twoside
    \renewcommand{\subsectionmark}[1]{\markright{\textsl{##1}}}
    \fancyfoot[RO, LE]{\thepage}
    \fancyhead[LE, RO]{\leftmark}
    \fancyhead[RE, LO]{\rightmark}
  \else
    \renewcommand{\subsectionmark}[1]{\markright{ - \textsl{##1}}}
    \lfoot{\leftmark\rightmark}
    \rfoot{\thepage}
  \fi}

\renewcommand{\HOLindex}{\cleardoublepage\pagestyle{plain}\fancyhf{}
  \cfoot{\thepage}\printindex}

\definecolor{darkgreen}{rgb}{0,0.4,0}

\renewcommand{\HOLDfnTag}[2]{
  \pagebreak[2]\noindent\textcolor{blue}{[\texttt{#2}]}\vspace{-1.2mm}
  \index{#1 Theory@\textbf{#1 Theory}!Definitions!#2}}

\renewcommand{\HOLThmTag}[2]{
  \pagebreak[2]\noindent\textcolor{darkgreen}{[\texttt{#2}]}\vspace{-1.2mm}
  \index{#1 Theory@\textbf{#1 Theory}!Theorems!#2}}