Commit History

Author SHA1 Message Date
  Bradley M. Kuhn 476a42bf0d In-page anchor links vs. bootstrap's fixed navbar 10 years ago
  Bradley M. Kuhn fd1d257184 Javascript to shift window for in-page anchors. 10 years ago
  Bradley M. Kuhn 04b105a147 Remove commented out test code. 10 years ago
  Bradley M. Kuhn 441df63ee7 Hack tex4ht's overlib stuff to use jQuery tooltip 10 years ago