Commit graph

11 commits

Author SHA1 Message Date
Bradley M. Kuhn
38e093a8e2 Remove image, and add next/next+ config. 2014-11-06 23:00:50 -05:00
Bradley M. Kuhn
df3a2c0dc7 Better names for navigation operations. 2014-11-06 22:25:21 -05:00
Bradley M. Kuhn
9730276f9c Don't necessarily move to right for navbar on top. 2014-11-06 22:24:36 -05:00
Bradley M. Kuhn
295f439fbd configure crosslinks to work with bootstrap. 2014-11-06 22:20:30 -05:00
Bradley M. Kuhn
3f10dad1b9 fix closes on svg and img tags here. 2014-11-06 22:20:23 -05:00
Bradley M. Kuhn
681c5afd3f Add \Hnewline on the end of all these lines. 2014-11-06 22:03:43 -05:00
Bradley M. Kuhn
e2f9cbe39a Hacks to get top-bar branding on website. 2014-11-06 21:45:05 -05:00
Bradley M. Kuhn
4fc7088b9c refer to favicon.ico 2014-11-06 21:32:47 -05:00
Bradley M. Kuhn
8512ac184a Load bootstrap, assumed to be in / 2014-11-06 21:32:30 -05:00
Bradley M. Kuhn
913551b960 Add css for guide and include it from webhacks. 2014-11-06 14:49:23 -05:00
Bradley M. Kuhn
441df63ee7 Hack tex4ht's overlib stuff to use jQuery tooltip
tex4ht supports "overlib" for footnote popups.  The hack is pretty
straightforward; it dumps a Javascript area into a .js file that can
then be used by overlib to popup stuff.

This hack is to use that output to make the same thing work with jQuery
UI's tooltip widget.

Note that we run with overlib support first, then *without* it in the
Makefile setup.  This is to force the needed .js file to be generated,
but make sure the HTML doesn't try to load overlib (which is default).

(This should be adapted as a patch to upstream tex4ht ultimately.)

Also included herein are improvements to the Makefile to build the HTML
output.
2014-11-06 12:34:18 -05:00