Re: On the new header style

That would definitely work for me.

Thanks

Ivan

——
Ivan Herman
+33 652 46 00 43

(Written on my iPad. Excuses for brevity and misspellings...)

> On 13 Oct 2021, at 04:34, Marcos Caceres <marcosc@w3.org> wrote:
> 
> 
> 
>> On 9 Oct 2021, at 9:48 pm, Ivan Herman <ivan@w3.org> wrote:
>> 
>> what does that mean for us mere mortals? Does it mean that, by some magic, I can register my local preference? (I do not see this now.) This would, obviously, be a good solution.
> 
> Yes: all you will have to do is open it once in any document, and then all documents details will be open on reload. 

Received on Wednesday, 13 October 2021 04:44:27 UTC