Hi Rick,
Rick Frankel 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 added the cod
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
Inductive expr :=
| expr_th
Quick summary: I'm now able to generate the css, but I don't understand
how it can change the colors.
Rick Frankel 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 my machine @work
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 o
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 by
