\usepackage{palatino}
%\usepackage{ae}
\usepackage{url}
-\usepackage{html}
%\usepackage{graphicx}
%\usepackage{color}
\usepackage{makeidx}
\usepackage[hypertex]{hyperref}
\fi
+\usepackage{html}
+
% URL settings
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\note}[1]{\color{red}**#1**}
-\newcommand{\file}[1]{\emph{#1}}
\newcommand{\type}[1]{#1}
\newcommand{\spec}[1]{#1}
\newcommand{\indextype}[1]{\index{#1@\type{#1}}}
%begin{latexonly}
+\newcommand{\file}[1]{\mbox{\emph{#1}}}
\newcommand{\key}[1]{\mbox{\textbf{#1}}}
\newcommand{\code}[1]{\lstinline!#1!}
\newcommand{\codestr}[1]{`\texttt{#1}'}
%end{latexonly}
\begin{htmlonly}
+\newcommand{\file}[1]{\emph{#1}}
\newcommand{\key}[1]{\textbf{#1}}
\newcommand{\code}[1]{\texttt{#1}}
\newcommand{\codestr}[1]{`\texttt{#1}'}