\Preamble{xhtml}
\begin{document}
%% Note: if you install locally, you'll be missing some of the files, marked
%% below as ``on copyleft.org, not here''. That's because they're part of the
%% copyleft.org wiki when we install HTML. You're still going to be able to
%% view the HTML, but it won't look as ``pretty'' and won't have fully
%% branding with copyleft.org stuff (which is probably as it should be). The
%% main thing that will probably annoy is is footnotes won't work.
%% Begin: on copyleft.org, not here.
\Configure{@HEAD}{\HCode{ }}
\Configure{@HEAD}{\HCode{ \Hnewline}}
\Configure{@HEAD}{\HCode{ \Hnewline}}
%% End: on copyleft.org, not here.
\Configure{@HEAD}{\HCode{ \Hnewline}}
\Configure{@HEAD}{\HCode{ \Hnewline}}
%% Begin: on copyleft.org, not here.
\Configure{@HEAD}{\HCode{\Hnewline}}
\Configure{@HEAD}{\HCode{\Hnewline}}
\Configure{@HEAD}{\HCode{\Hnewline}}
%% End: on copyleft.org, not here.
\Configure{@HEAD}{\HCode{\Hnewline}}
\Configure{@HEAD}{\HCode{\Hnewline}}
%% This stuff below uses bootstrap to get a navigation bar.
\Configure{@BODY}{\HCode{