A TOC could also be added using js. E.G.

https://www.cssscript.com/generating-a-table-of-contents-with-pure-javascript-toc/

and this could be added to the skin.

I'll definitely consider it, though my TOC script not only puts one at the top of the file but also makes an external TOC indexing all participating documents. Thus my script would still have a place, even alongside a JavaScript TOC.

i'm glad to see this skin get some love. It's been my default skin for the better part of a year. Please don't merge just yet - i'd like to go through it and pull in a couple of local overrides i use on it:

https://fossil.wanderinghorse.net/r/cwal/file?name=doc/css/skin-overrides.css&ci=tip

In particular, its size for textareas makes no sense (32px tall, iirc).

i'll try to get to that in the next 12 hours or so.

Please don't merge just yet - i'd like to go through it and pull in a couple of local overrides i use on it:

Nevermind - it seems i already reset the 32px-tall textareas. One change i "would like" to see but didn't make for fear of breaking other peoples' uses/expectations of that skin is:

.container {
  width: 100%;
  max-width: 1200px;
  margin: 0 auto;
  box-sizing: border-box
}

Setting max-width of a page or its main content area is irksome, especially when expressed in pixels. i'd like to see that line removed, but will leave that to your discretion. My local overrides already do that:

.container {
    /* Main page content container, including top menu bar. */
    max-width: unset;
}

Do you intend to remove width, margin, and box-sizing? What effect does removing those have?

I'm good with removing max-width but don't know what unset means.

Do you intend to remove width, margin, and box-sizing? What effect does removing those have?

No, i'm okay with all that, or have it overwritten locally. i don't really want to change anything which is "personal taste," but the previous 32px height for textareas made certain pages simply unusable (e.g. the skin editor, ironically enough).

I'm good with removing max-width but don't know what unset means.

The max-width on the body is admittedly a personal taste thing: i consider it downright pretentious of designers to limit how much space i can use on a given site. Or maybe i'm just getting too old and GET OFF MY LAWN!

unset, per Mozilla:

The unset CSS keyword resets a property to its inherited value if the property naturally inherits from its parent, and to its initial value if not. In other words, it behaves like the inherit keyword in the first case, when the property is an inherited property, and like the initial keyword in the second case, when the property is a non-inherited property.

https://developer.mozilla.org/en-US/docs/Web/CSS/unset

In this case, it simply replaces "max-width" width whatever max width the browser would otherwise have set for that element.

Thanks for the responses. Anyway, I committed as per your request, and further feedback is welcome. I admit I haven't actually tried out your suggestions, only checked them in! Ah well, it's a branch.