Matthew Flatt a78bf662b2 adjust search-page sizing of 'provided from' to use a CSS entry, which scales by the magic 82% instead of 80% (because 80% drops just below the threshold of anti-aliasing the default monospace font in Safari) ... svn: r10036		2008-05-30 13:25:54 +00:00
..
make-search.ss	adjust search-page sizing of 'provided from' to use a CSS entry, which scales by the magic 82% instead of 80% (because 80% drops just below the threshold of anti-aliasing the default monospace font in Safari)	2008-05-30 13:25:54 +00:00
manuals.ss	Better code to generate main page titles and toc	2008-05-26 09:19:38 +00:00
utils.ss	javascript-based search implemented	2008-05-28 18:44:12 +00:00