- From: Brad Kemper <brad.kemper@gmail.com>
- Date: Thu, 16 Aug 2012 10:31:26 -0700
- To: Håkon Wium Lie <howcome@opera.com>
- Cc: Simon Sapin <simon.sapin@kozea.fr>, "www-style@w3.org" <www-style@w3.org>
Yeah, like that. :)
Brad Kemper
On Aug 16, 2012, at 9:22 AM, Håkon Wium Lie <howcome@opera.com> wrote:
> Brad Kemper wrote:
>
>>> I agree that 'bookmark-level' can be used as the on/off switch for
>>> bookmarks, but I'd probably prefer to use 'bookmark-label' as the
>>> switch. This way one can have (say) this in the default style sheet:
>>>
>>> h1 { bookmark-level: 1 }
>>> h2 { bookmark-level: 2 }
>>> h3 { bookmark-level: 3 }
>>>
>>> without triggering the generation of bookmarks. Bookmarks can then be
>>> switched on with:
>>>
>>> h1, h2, h3 { bookmark-label: contents }
>>>
>>> (or something)
>>>
>>> Thus, one can turn on bookmarks with one declaration rather than
>>> having to use (and remember) many levels.
>>
>> This seems like a good argument, especially if all the H* elects
>> were styled with their respective bookmark-level declarations in
>> the UA stylesheet.
>
> From '/usr/lib/prince/style/xhtml.css':
>
> h1 { font-size: 24pt; margin: 16pt 0; prince-bookmark-level: 1 }
> h2 { font-size: 18pt; margin: 15pt 0; prince-bookmark-level: 2 }
> h3 { font-size: 14pt; margin: 14pt 0; prince-bookmark-level: 3 }
> h4 { font-size: 12pt; margin: 16pt 0; prince-bookmark-level: 4 }
> h5 { font-size: 10pt; margin: 16.5pt 0; prince-bookmark-level: 5 }
> h6 { font-size: 8pt; margin: 21pt 0; prince-bookmark-level: 6 }
>
> -h&kon
> Håkon Wium Lie CTO °þe®ª
> howcome@opera.com http://people.opera.com/howcome
Received on Thursday, 16 August 2012 17:32:03 UTC