Matthew Flatt 76cca479d9 restore old Scribble default style, but make new style default for manuals ... Using #lang scribble/base produces HTML output in the old style, while #lang scribble/manual uses the new style. To get the new style without switching to `#lang scribble/manual`, use `manual-doc-style`. Related changes include the addition of `css-style-addition` and `js-style-addition`. original commit: b520b66c4e8e54909c7d7b1126044e984989e8ef		2013-11-16 14:38:59 -07:00
..
lang	reorganize into core plus packages	2013-06-19 09:01:37 -06:00
lang.rkt	restore old Scribble default style, but make new style default for manuals	2013-11-16 14:38:59 -07:00