In your other thread, I replied with code that already does most of this (Any way to convert .rkt file to HTML? - #8 by blerner) -- does that code not do what you need?
In your other thread, I replied with code that already does most of this (Any way to convert .rkt file to HTML? - #8 by blerner) -- does that code not do what you need?