annotate doc/manual/manual_tex4ht.cfg @ 343:59109d1cb17b

- more html doc tweak: remove dependency on google fonts
author Tassilo Philipp
date Tue, 07 Jan 2020 11:14:01 +0100
parents b55fec763864
children d60728b1f4a1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
70
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
1 %//////////////////////////////////////////////////////////////////////////////
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
2 %
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
3 % Copyright (c) 2015-2016 Tassilo Philipp <tphilipp@potion-studios.com>
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
4 %
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
5 % Permission to use, copy, modify, and distribute this software for any
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
6 % purpose with or without fee is hereby granted, provided that the above
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
7 % copyright notice and this permission notice appear in all copies.
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
8 %
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
9 % THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
10 % WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
11 % MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
12 % ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
13 % WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
14 % ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
15 % OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
16 %
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
17 %//////////////////////////////////////////////////////////////////////////////
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
18
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
19 % Set html output type and how the pages will be organized; index=a,b,c means a
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
20 % column index, b depth partitioning per page, and if c is present and 'next',
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
21 % that next-links recurses.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
22 % Use b=1 for outputting one big html page. b=2 would partition by sections, b=3
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
23 % by sections and subsections, and so on...
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
24 \Preamble{html,info,index=2,1,pic-tabular,pic-align,charset="utf-8",p-width}
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
25 % For manual partitioning we use b=1 above, then \CutAt
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
26 %\CutAt{subsubsection,subsection,likesubsection,section,likesection,part}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
27 \CutAt{section}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
28
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
29 %% Don't want TOC to be on own page.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
30 %\ConfigureToc{likesubsubsection}{}{~}{}{ }
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
31
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
32 % Here goes stuff that should be *before* <head>...</head>
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
33 % Use it for configurations, no actual output.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
34
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
35 \Configure{VERSION}{}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
36 \Configure{DOCTYPE}{\HCode{<!DOCTYPE html>\Hnewline}}
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
37 \Configure{HTML}{\HCode{<html>\Hnewline}}{\HCode{\Hnewline</html>}}
71
edc2afc17aa0 - more html doc work
cslag
parents: 70
diff changeset
38 \Configure{BODY}{\HCode{\Hnewline<body>\Hnewline<div class="mainDiv">\Hnewline}}{\HCode{\Hnewline</div></body>}} % KEEP the body on it's own line, as it's used as a marker for postprocessing.
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
39
70
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
40 % TITLE+ is only on main page, other use section title. Prefix everything, though.
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
41 \Configure{TITLE}{\HCode{<title>}dyncall Manual - }{\HCode{</title>}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
42 \Configure{TITLE+}{Index}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
43
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
44 % Clear default header, define our custom one. Using @HEAD will make this be used on all pages generated.
92
5c3fa8897e0e - manual work
cslag
parents: 91
diff changeset
45 % @@@Ideally, this wouldn't be a copy&paste of the website's header, here. Such
5c3fa8897e0e - manual work
cslag
parents: 91
diff changeset
46 % thing should be done in the website build, and this here a generic header
5c3fa8897e0e - manual work
cslag
parents: 91
diff changeset
47 % (however, style is kinda needed).
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
48 \Configure{@HEAD}{}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
49 \Configure{@HEAD}{\HCode{<meta http-equiv="content-type" content="text/html; charset=utf-8"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
50 \Configure{@HEAD}{\HCode{<meta name="resource-type" content="document"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
51 \Configure{@HEAD}{\HCode{<meta name="keywords" content="C, function, dynamic, call, calling, convention, VM, abstraction, closure"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
52 \Configure{@HEAD}{\HCode{<meta name="distribution" content="global"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
53 % should this really rely on online content (dyncall's .css) even for an offline build? @@@
342
b55fec763864 - fix a url in doc gen
Tassilo Philipp
parents: 92
diff changeset
54 \Configure{@HEAD}{\HCode{<link rel="stylesheet" href="https://dyncall.org/data/main.css" type="text/css" media="all"/>\Hnewline}}
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
55
76
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
56 % Image path prefix can be set here...
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
57 %\Configure{IMG}
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
58 %{\ht:special{t4ht=<img src="}}
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
59 %{\ht:special{t4ht=" alt="}}
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
60 %{" }
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
61 %{\ht:special{t4ht=" }}
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
62 %{\ht:special{t4ht=/>}}
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
63
70
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
64 % Make TOC display as nested "ul"s.
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
65 \Configure{tableofcontents} {}{\tocItem{0}}{}{}{}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
66 \ConfigureToc{section} {}{\tocItem{1}{\HCode{<li>}}}{}{}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
67 \ConfigureToc{subsection} {}{\tocItem{2}{\HCode{<li>}}}{}{}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
68 \ConfigureToc{subsubsection} {}{\tocItem{3}{\HCode{<li>}}}{}{}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
69
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
70 % Logic to open/close "ul"s correctly.
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
71 \newcount\c
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
72 \def\tocItem#1{%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
73 \loop
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
74 \ifnum \c<#1
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
75 \advance\c by 1
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
76 \HCode{<ul>}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
77 \else
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
78 \ifnum \c>#1
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
79 \advance\c by -1
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
80 \HCode{</li></ul>}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
81 \fi
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
82 \ifnum \c=#1
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
83 \ifnum #1>0 \HCode{</li>} \fi
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
84 \fi
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
85 \fi
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
86 \unless\ifnum \c=#1 \repeat
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
87 }
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
88
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
89 % Define layout of tables - for some reason tabular* renders fine
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
90 % when pic-tabular is *not* used. When it is, it converts tabular
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
91 % (without the asterisk) into pictures, but also changes the rendering
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
92 % of tabular*, which we then mend with the code below. Not sure if
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
93 % this is just a hack around a tex4ht bug, but it nicely lets us
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
94 % pick which table should be a picture or not.
76
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
95 % This means: use tabular for pictures, tabular* for text output. @@@ might want to abstract this into \htmlpic or so
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
96 \Configure{tabular}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
97 {\HCode{<table>}}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
98 {\HCode{</table>}}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
99 {\HCode{<tr>}} %{\HCode{<tr class="row-\HRow">}}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
100 {\HCode{</tr>}}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
101 {\HCode{<td \ifnum \HMultispan>1 colspan="\HMultispan"\fi >}}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
102 {\HCode{</td>}}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
103
90
e932e6331f35 - manual improvements
cslag
parents: 82
diff changeset
104 % Remove hr-tags that tex4ht inserts by default in around floats (e.g. tables) and replace them with a background.
e932e6331f35 - manual improvements
cslag
parents: 82
diff changeset
105 % Also remove hr-tags around figures, entirely.
92
5c3fa8897e0e - manual work
cslag
parents: 91
diff changeset
106 \Configure{float}[]{\HCode{<div class='blockDiv'>}\HtmlParOff}{}{\HCode{</div>}\HtmlParOn}
90
e932e6331f35 - manual improvements
cslag
parents: 82
diff changeset
107 \ConfigureEnv{figure}{\HCode{}}{\HCode{}}{}{}
e932e6331f35 - manual improvements
cslag
parents: 82
diff changeset
108
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
109 % @@@ Did not get that below to work, and don't understand it, either.
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
110 % @@@ Default output is ok, so we're simply changing class name in
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
111 % @@@ instead of this postprocessing. See Makefile.
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
112 %% Listings, so that caption below isn't in same block
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
113 %\def\listingLineReset{\newcount\lstlineno}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
114 %\def\listingLine{\advance\lstlineno by 1}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
115 %\ConfigureEnv{lstlisting}{\listingLineReset\Tg<div class="ttDiv">}{\Tg</div>}{}{}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
116 %\Configure{listings}{}{}{}{\ifnum \lstlineno>0 \Tg<br> \fi \listingLine}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
117
91
00fc2b9b4e3d - html improvements of manual (paragraphs and css)
cslag
parents: 90
diff changeset
118 % Make listing/table captions nicer.
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
119 \Configure{caption}
91
00fc2b9b4e3d - html improvements of manual (paragraphs and css)
cslag
parents: 90
diff changeset
120 {\HCode{<div class="blockCaption"><small>}}
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
121 {\HCode{<span class="id">}}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
122 {\HCode{</span>: <span class="content">}}
73
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
123 {\HCode{</span></small></div>}}
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
124
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
125 % All kinds of style setting for fonts, as we don't use the autogenerated
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
126 % css file, but dyncall's website one.
73
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
127 \Configure{texttt}{\Tg<span style="background-color:red">}{\Tg</span>}
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
128 \Configure{textrm}{\Tg<span style="background-color:red">}{\Tg</span>}
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
129 \Configure{textup}{\Tg<span style="background-color:red">}{\Tg</span>}
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
130 \Configure{textsl}{\Tg<span style="background-color:red">}{\Tg</span>}
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
131 \Configure{textsf}{\Tg<span style="background-color:red">}{\Tg</span>}
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
132 \Configure{textsc}{\Tg<span style="background-color:red">}{\Tg</span>}
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
133 \Configure{textit}{\Tg<i>}{\Tg</i>}
8326c5ced916 - doc cleanup and html work
cslag
parents: 72
diff changeset
134 \Configure{textbf}{\Tg<b>}{\Tg</b>}
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
135 \Configure{emph}{\Tg<em>}{\Tg</em>}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
136
76
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
137 % @@@ list of things that are still open:
7ca46969e0ad - tweaks in manual, mainly for html generation
cslag
parents: 73
diff changeset
138 % paragraph{xxx} - should probably be forced to always be on newline to reflect pdf
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
139
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
140 %\lstset{ language=C, basicstyle=\ttfamily, numbers=left,
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
141 %numberstyle=\tiny, numbersep=10pt, showstringspaces=false}
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
142
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
143 %http://www.itisnotoverengineering.com/2013/06/syntax-highlighting-with-tex4ht.html
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
144
91
00fc2b9b4e3d - html improvements of manual (paragraphs and css)
cslag
parents: 90
diff changeset
145 % Simplest possible paragraphs.
00fc2b9b4e3d - html improvements of manual (paragraphs and css)
cslag
parents: 90
diff changeset
146 % Note, we don't use the optional </p> end tags, as we would end up wrapping block level
00fc2b9b4e3d - html improvements of manual (paragraphs and css)
cslag
parents: 90
diff changeset
147 % elements like <table> in <p>...</p> pairs.
00fc2b9b4e3d - html improvements of manual (paragraphs and css)
cslag
parents: 90
diff changeset
148 \Configure{HtmlPar}{\EndP\Tg<p>}{\EndP\Tg<p>}{\HCode{\Hnewline}}{\HCode{\Hnewline}}
72
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
149
2b89d8497aad - html manual work
cslag
parents: 71
diff changeset
150
70
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
151 % On site navigation texts
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
152 \Configure{crosslinks}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
153 {}%left delimiter
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
154 {}%right delimiter
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
155 {next}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
156 {previous}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
157 {}%previous-tail
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
158 {}%front
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
159 {}%tail
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
160 {index}%up
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
161
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
162 % Which nav links to show
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
163 \Configure{crosslinks*}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
164 {prev}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
165 {up}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
166 {next}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
167 {}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
168
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
169 % What's around top and bottom links section
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
170 \Configure{crosslinks+}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
171 {\HCode{<div style="width:100\%;text-align:left"><div style="width:30\%;display:inline-block;text-align:left">}}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
172 {\HCode{</div></div><hr>}}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
173 {\HCode{<hr><div style="width:100\%;text-align:left"><div style="width:30\%;display:inline-block;text-align:left">}}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
174 {\HCode{</div></div>}}%
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
175
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
176 % Hacky - output div stuff before specific crosslinks, has to play together with crosslinks+, above
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
177 \Configure{crosslinks:next}{\HCode{</div><div style="width:30\%;display:inline-block;text-align:right">}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
178 \Configure{crosslinks:up} {\HCode{</div><div style="width:40\%;display:inline-block;text-align:center">}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
179
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
180
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
181 %\ConfigureEnv{titlepage}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
182 %{\ifvmode \IgnorePar\fi
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
183 % \EndP
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
184 % \HCode{<h1>}\IgnorePar }
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
185 %{\ifvmode \IgnorePar\fi
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
186 % \EndP \HCode{</h1>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
187 %{}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
188 %{}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
189 %\ConfigureList{enumerate}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
190 %{\HCode{<div>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
191 %{\HCode{</div>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
192 %{\HCode{<span class="mark">}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
193 %{\HCode{</span>} }
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
194
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
195 % Configure element translations.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
196
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
197 % Sections (to include number, use \thesection)
70
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
198 \Configure{section} {} {} {\HCode{<h1>}} {\HCode{</h1>}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
199 \Configure{likesection} {} {} {\HCode{<h1>}} {\HCode{</h1>}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
200 \Configure{subsection} {} {} {\HCode{<h2>}} {\HCode{</h2>}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
201 \Configure{likesubsection} {} {} {\HCode{<h2>}} {\HCode{</h2>}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
202 \Configure{subsubsection} {} {} {\HCode{<h3>}} {\HCode{</h3>}}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
203 \Configure{likesubsubsection} {} {} {\HCode{<h3>}} {\HCode{</h3>}}
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
204
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
205 %\DeclareMathSizes{12}{11}{7}{6}
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
206 %\DeclareMathSizes{10}{9}{5}{4}
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
207 %\DeclareMathSizes{11}{10}{6}{5}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
208
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
209
70
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
210 \begin{document}
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
211
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
212 % Add here stuff that should be *in* <head>...</head>, however only for main generated page.
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
213
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
214 \EndPreamble
70
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
215
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
216 % vim: ft=tex
33c333ec5ad2 - progress on html doc generation
cslag
parents: 69
diff changeset
217