[O] Changing the font family in HTML export

2011-06-28 Thread Dror Atariah
Dear org mode users, I'm trying to change the font used when exporting .org to .html. At the moment, I get style type=text/css !--/*--![CDATA[/*!--*/ html { font-family: Times, serif; font-size: 12pt; } In the generated .html file. I would like to control this part, namely, I would like

Re: [O] Changing the font family in HTML export

2011-06-28 Thread Manuel Giraud
Dror Atariah dror...@gmail.com writes: Can you help me? Thanks in advance, I think you could use an external css file for that. You can do so by setting the STYLE property in you org file like that: --8---cut here---start-8--- #+TITLE: My page #+STYLE: link

Re: [O] Changing the font family in HTML export

2011-06-28 Thread Dror Atariah
This solved the problem. However, as you pointed out, in case I want to publish/share this generated html, I have to send as well another file, and it is not longer self contained. In the automatically, generated html, there is a section at the beginning: --==-- style type=text/css

Re: [O] Changing the font family in HTML export

2011-06-28 Thread Pieter Praet
On Tue, 28 Jun 2011 11:00:43 +0200, Dror Atariah dror...@gmail.com wrote: This solved the problem. However, as you pointed out, in case I want to publish/share this generated html, I have to send as well another file, and it is not longer self contained. In the automatically, generated html,

Re: [O] Changing the font family in HTML export

2011-06-28 Thread Bastien
Dror Atariah dror...@gmail.com writes: I'm trying to change the font used when exporting .org to .html. (setq org-export-html-style-include-default nil) (setq org-export-html-style ...) HTH -- Bastien

Re: [O] Changing the font family in HTML export

2011-06-28 Thread Pieter Praet
On Tue, 28 Jun 2011 11:18:58 +0200, Pieter Praet pie...@praet.org wrote: On Tue, 28 Jun 2011 11:00:43 +0200, Dror Atariah dror...@gmail.com wrote: This solved the problem. However, as you pointed out, in case I want to publish/share this generated html, I have to send as well another file,

Re: [O] Changing the font family in HTML export

2011-06-28 Thread Christian Moe
Hi, The tips you have received from others about customizing various variables are likely to be what you want (will work for all your documents). But for completeness' sake: to change things on a file-by-file basis, you can do it Manuel's way, but without an external stylesheet, like this:

Re: [O] Changing the font family in HTML export

2011-06-28 Thread Dror Atariah
On Jun 28, 2011, at 14:10 PM, Christian Moe wrote: Hi, The tips you have received from others about customizing various variables are likely to be what you want (will work for all your documents). But for completeness' sake: to change things on a file-by-file basis, you can do it