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/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
GNU/Hurd](http://www.debian.org/ports/hurd/)
- 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?
Regards,
Thomas
signature.asc
Description: Digital signature
