Re: [racket-users] colorizing code in html - scribble or the GUI?

2016-03-19 Thread Sanjeev Sharma
thanks folks - marked completed but please share more if there are more I was going to use hilite.me but I prefer having something resembling the racket documents -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group

Re: [racket-users] colorizing code in html - scribble or the GUI?

2016-03-15 Thread Stephen Chang
You can also submit the code to pasterack.org, which uses the scribble css. Each paste page also gives the html source of the code and output on the side, which you can copy to anywhere you want. On Tue, Mar 15, 2016 at 7:11 PM, Sanjeev Sharma wrote: > is there a quick &

Re: [racket-users] colorizing code in html - scribble or the GUI?

2016-03-15 Thread Matthew Butterick
On Mar 15, 2016, at 4:11 PM, Sanjeev Sharma wrote: > is there a quick & dirty way to use scribble or the drracket GUI to generate > html for random code snippets? If you have Pygments installed, `pollen/unstable/pygments` and `pollen/template/html` can be used together

[racket-users] colorizing code in html - scribble or the GUI?

2016-03-15 Thread Sanjeev Sharma
is there a quick & dirty way to use scribble or the drracket GUI to generate html for random code snippets? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to