Note: css and js file changes due to using Scribble from Racket 6.0, which has a new/improved set of CSS styles.