Slidy: Use slidy.js rather than slidy.js.gz.

Reason:  some browsers have trouble with the gzipped js file,
at least on the local file system.

Closes #795.
This commit is contained in:
John MacFarlane 2013-03-25 19:48:42 -07:00
parent b6f75f60d6
commit 942b7b8f9c
4 changed files with 3018 additions and 2 deletions

3016
data/slidy/scripts/slidy.js Normal file

File diff suppressed because it is too large Load diff

Binary file not shown.

@ -1 +1 @@
Subproject commit 118f79db5a8709f40ae07f5c6cee803f26d6a663
Subproject commit ca2ac124bfeea666dc1693a4c26b6ec685ba240f

View file

@ -87,7 +87,7 @@ Data-Files:
data/s5/default/bodybg.gif,
-- data for slidy writer
data/slidy/styles/slidy.css,
data/slidy/scripts/slidy.js.gz,
data/slidy/scripts/slidy.js,
data/slidy/graphics/fold.gif,
data/slidy/graphics/unfold.gif,
data/slidy/graphics/nofold-dim.gif,