Enhancements for the scribble language (a documentation language based on Racket)

racket-library

Matthew Flatt b5e473c5d9 scribble: fix HTML scaling of GIFs ... Even without scaling, declare the size of a PNG or GIF in HTML output. original commit: 3f3e6e4cb421e8004c4e0c5ee5944718bdd686a3		2014-05-12 20:13:20 -06:00
pkgs/scribble-pkgs	scribble: fix HTML scaling of GIFs	2014-05-12 20:13:20 -06:00