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

[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 
> 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.
This was most helpful actually! Thanks!
> 
> 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<address@hidden>  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