[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Thomas Schwinge
Subject: Headlines: more CSS magic wanted (was: Hurd Mission Statement)
Date: Mon, 8 Jun 2009 20:54:43 +0200
User-agent: Mutt/1.5.11


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/running/debian.mdwn
    +++ b/hurd/running/debian.mdwn
    @@ -1,25 +1,25 @@
     [[!meta title="Debian GNU/Hurd"]]
    -## Debian Resources
    +### Debian Resources
     - Official page about the Debian GNU/Hurd port: [Debian 
     - Debian [[FAQ]] -- Frequently Asked Questions
    -## Installing
    +### Installing

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 single # for their top-level headlines, ## for the
second level, and so on, and we should use some CSS magic to make them
appear not in that huge letters.  (Read: I agree that what currently is
being used for rendering # and perhaps even ## is too big.)  Can you
propose something more suitable?


Attachment: signature.asc
Description: Digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]