8 Commits (30f769b919f7a2725db5fd9476ec12a4187eb2f5)

Author	SHA1	Message	Date
Mike Gerwitz	1fe8a0e8d6	Remove interactive.js jQuery dependency ... Importantly, this also removes loading from ajax.googleapis.com, which is a problem, because the domain must be allowed using NoScript, and hosts many other things. Why this was added to begin with is beyond me. Perhaps it demonstrates my novice abilities back in the day.	2015-08-23 00:37:24 -04:00
Mike Gerwitz	1d828b7ee2	LibreJS license header for doc/interactive.js	2015-07-06 23:42:53 -04:00
Mike Gerwitz	4b871dabc8	Corrected all line lengths in doc/ ... Now conforms to tools/linechk's 76-char limitation.	2014-01-17 22:30:15 -05:00
Mike Gerwitz	67b794c854	[#5] jQuery UI not currently needed in manual	2011-11-09 00:26:41 -05:00
Mike Gerwitz	5999223c4e	[#5] Added sub/sup support for vars in documentation	2011-11-08 23:42:26 -05:00
Mike Gerwitz	2d05445958	[#5] Added syntax highlighting to HTML documentation	2011-06-05 11:18:41 -04:00
Mike Gerwitz	97036e4c88	Added jQuery to page using interactive.js; does not yet do anything with page	2011-03-21 22:01:15 -04:00
Mike Gerwitz	d107992fc4	Makefile now inserts interactive JS (not yet implemented) into generated HTML docs	2011-03-21 21:09:36 -04:00