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

[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:

#+STYLE:<style>html { font-family: Helvetica, sans-serif; font-size: 
12pt; }</style>

Your custom CSS is included in the HEAD of the generated document, 
after the default CSS, which it overrides.

Yours,
Christian

On 6/28/11 11:00 AM, Dror Atariah 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, there is a 
section at the beginning:
--==--
<style type="text/css">
  <!--/*--><![CDATA[/*><!--*/
   html { font-family: Times, serif; font-size: 12pt; }
   .title  { text-align: center; }
   .todo   { color: red; }
   .done   { color: green; }
   .tag    { background-color: #add8e6; font-weight:normal }
...
--==--

Isn't there a way to tell orgmode to change this part, and, for example, use a 
different font?

On Jun 28, 2011, at 10:42 AM, Manuel Giraud wrote:

Dror Atariah<dror...@gmail.com>  writes:

Thanks for the quick answer!
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 rel="stylesheet" href="my_own.css" type="text/css"/>

* My first title
--8<---------------cut here---------------end--------------->8---
This means that I have to generate and put "my_own.css" file in the
right place.

Yes. But I don't know how you publish things after having generated the
html. You may just have to copy this file in the right place once.


What should this file contain?

It's a css file it could contain many things (see
http://www.w3schools.com/css/ for good tutorials and test). But in your
case this will do the trick:

--8<---------------cut here---------------start------------->8---
html { font-family: Helvetica, sans-serif; font-size: 12pt; }
--8<---------------cut here---------------end--------------->8---


I'm happy with the formatting of the exported html, I only want to
change the font. Is this still the right approach?

I still think it is the best option because one day you'd like to change
the color of h1's title and this approach still stand (in fact that's
what css are for).

Best regards,
--
Manuel Giraud

Dror Atariah
---------------------------------------------------------------
Landline:        +49-30-43024501
Mobile:         +49-176-67116376
Mobile (in IL): +972 54 5912389
IM:                   dror...@gmail.com
                   dror...@hotmail.com