Re: [O] colorize html output when batch exporting

2014-01-15 Thread Alan Schmitt
Quick summary: I'm now able to generate the css, but I don't understand how it can change the colors. Rick Frankel r...@rickster.com writes: Which version of emacs are you using? FWIW, I just had this problem yesterday (although it choked on a different face) in emacs trunk (24.4.x). But on

Re: [O] colorize html output when batch exporting

2014-01-15 Thread Rick Frankel
On 2014-01-15 03:04, Alan Schmitt wrote: Quick summary: I'm now able to generate the css, but I don't understand how it can change the colors. However, I still find there is a problem. Here is the html source generated from a snippet of the file: #+BEGIN_SRC html div class=org-src-container

Re: [O] colorize html output when batch exporting

2014-01-15 Thread Alan Schmitt
Hi Rick, Rick Frankel r...@rickster.com writes: Yes, it should. Something is not right with your output. I'm not familiar with coq, and i don't have coq-mode.el, but from the above it looks like a BNF grammar. Are you sure coq-mode was loaded when you did the export? This was the problem! I

[O] colorize html output when batch exporting

2014-01-14 Thread Alan Schmitt
Hello, I'm trying to batch export a file, and I don't seem to have colorization working. Reading the documentation a bit, I found this information: , | org-html-htmlize-output-type is a variable defined in `ox-html.el'. | Its value is inline-css | | Documentation: | Output type to be used

Re: [O] colorize html output when batch exporting

2014-01-14 Thread Rick Frankel
On 2014-01-14 08:45, Alan Schmitt wrote: Hello, I'm trying to batch export a file, and I don't seem to have colorization working. Reading the documentation a bit, I found this information: Following these instructions, I set up this variable in the init.el called upon batch exporting, among