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 should not be skipped. > and we should use some CSS magic to make them appear not in that huge > letters. No magic involved there... > (Read: I agree that what currently is being used for rendering # and > perhaps even ## is too big.) Indeed the default sizes used by most browsers are rather on the excessive side... I don't really mind, though. People should pester the browser vendors if it bothers them :-) -antrik-
