2014-11-06 17:34:18 +00:00
|
|
|
\Preamble{xhtml}
|
|
|
|
\begin{document}
|
2014-11-07 02:45:05 +00:00
|
|
|
|
|
|
|
%% 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.
|
2014-11-07 02:32:47 +00:00
|
|
|
\Configure{@HEAD}{\HCode{<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico" /> }}
|
2014-11-07 02:45:05 +00:00
|
|
|
\Configure{@HEAD}{\HCode{<link rel="stylesheet" type="text/css" href="/bootstrap.css" /> \Hnewline}}
|
|
|
|
\Configure{@HEAD}{\HCode{<link rel="stylesheet" type="text/css" href="/local.css" /> \Hnewline}}
|
|
|
|
%% End: on copyleft.org, not here.
|
|
|
|
|
|
|
|
\Configure{@HEAD}{\HCode{<link rel="stylesheet" type="text/css" href="css/footnote-hack.css" /> \Hnewline}}
|
|
|
|
\Configure{@HEAD}{\HCode{<link rel="stylesheet" type="text/css" href="css/guide.css" /> \Hnewline}}
|
|
|
|
|
|
|
|
%% Begin: on copyleft.org, not here.
|
|
|
|
\Configure{@HEAD}{\HCode{<script type="text/javascript" src="/bootstrap.js"></script>\Hnewline}}
|
|
|
|
\Configure{@HEAD}{\HCode{<script type="text/javascript" src="/jquery-1.10.2.js"></script>\Hnewline}}
|
|
|
|
\Configure{@HEAD}{\HCode{<script type="text/javascript" src="/jquery-ui-1.11.2.js"></script>\Hnewline}}
|
|
|
|
%% End: on copyleft.org, not here.
|
|
|
|
|
|
|
|
|
2014-11-06 17:34:18 +00:00
|
|
|
\Configure{@HEAD}{\HCode{<script type="text/javascript" src="js/comprehensive-gpl-guide-js.js"></script>\Hnewline}}
|
|
|
|
\Configure{@HEAD}{\HCode{<script type="text/javascript" src="js/tex4ht-footnote-hack.js"></script>\Hnewline}}
|
2014-11-07 02:45:05 +00:00
|
|
|
|
|
|
|
|
|
|
|
%% This stuff below uses bootstrap to get a navigation bar.
|
|
|
|
\Configure{@BODY}{\HCode{<header class="navbar navbar-default navbar-fixed-top copyleft-navbar">
|
|
|
|
<div class="container">
|
|
|
|
<div class="navbar-header">
|
|
|
|
<button class="navbar-toggle" data-target=".copyleft-navbar-collapse" data-toggle="collapse" type="button">
|
|
|
|
<span class="sr-only">Toggle navigation</span>
|
|
|
|
<span class="icon-bar"></span>
|
|
|
|
<span class="icon-bar"></span>
|
|
|
|
<span class="icon-bar"></span>
|
|
|
|
</button>
|
|
|
|
<svg width="245" height="50" style="margin: 5px"><image xlink:href="/copyleftorg-green-stylized.svg" src="/copyleftorg-green-stylized.png" width="245" height="50" />
|
|
|
|
</div>
|
|
|
|
<nav class="collapse navbar-collapse copyleft-navbar-collapse" role="navigation">
|
|
|
|
<ul class="nav navbar-nav navbar-right">
|
|
|
|
<li><a href="/">Wiki</a></li>
|
|
|
|
<li class="active"><a href="/guide/">Tutorial and Guide</a></li>
|
|
|
|
</ul></nav></div></header>
|
|
|
|
}}
|
2014-11-06 17:34:18 +00:00
|
|
|
\EndPreamble
|