Re: Headlines: more CSS magic wanted (was: Hurd Mission Statement)

2009-06-10 Thread Arne Babenhauserheide
Am Montag, 8. Juni 2009 20:54:43 schrieb Thomas Schwinge: > This is wrong, as -- in my understanding -- these #s are for logical > grouping and not for stating how big these headlines should be rendered > on the screen. In my opinion, all pages (this is wrong in other pages as > well) should use a

Re: Headlines: more CSS magic wanted

2009-06-10 Thread olafBuddenhagen
Hi, On Mon, Jun 08, 2009 at 08:54:43PM +0200, Thomas Schwinge wrote: > This is wrong, as -- in my understanding -- these #s are for logical > grouping and not for stating how big these headlines should be > rendered on the screen. Indeed, the HTML standard explicitely asks that heading levels sh

Headlines: more CSS magic wanted (was: Hurd Mission Statement)

2009-06-08 Thread Thomas Schwinge
Hello! Hijacking this thread again: then, there is this change, 6b7cb4dbb2aa81685f93f1abb9be5251dccf1443, ``debian distro: smaller headings.'', which does things like that: diff --git a/hurd/running/debian.mdwn b/hurd/running/debian.mdwn index bf21740..97d35bd 100644 --- a/hurd/runnin