diff options
| author | Richard Brooksby | 2023-10-20 14:21:37 +0100 |
|---|---|---|
| committer | Richard Brooksby | 2023-10-20 14:21:37 +0100 |
| commit | 8946ca1f84bceda87c079c2b63c88034926121d0 (patch) | |
| tree | c6082abe88f772fff5179f3753fddf360a311888 | |
| parent | d595560b2a0ffd543a74b9f36c138fb460cfb9cc (diff) | |
| download | emacs-8946ca1f84bceda87c079c2b63c88034926121d0.tar.gz emacs-8946ca1f84bceda87c079c2b63c88034926121d0.zip | |
Documented dependency on class "toctree-l1" in response to review <https://github.com/ravenbrook/mps/pull/166#discussion_r1365695601>.
| -rw-r--r-- | mps/manual/source/_templates/layout.html | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/mps/manual/source/_templates/layout.html b/mps/manual/source/_templates/layout.html index 3d65894459d..c99ff360946 100644 --- a/mps/manual/source/_templates/layout.html +++ b/mps/manual/source/_templates/layout.html | |||
| @@ -14,7 +14,15 @@ | |||
| 14 | 14 | ||
| 15 | <ul> | 15 | <ul> |
| 16 | 16 | ||
| 17 | <li class="toctree-11"> | 17 | {# The class toctree-l1 seems to correspond to list items generated |
| 18 | by a Sphinx toctree directive that are at depth 1. I have not | ||
| 19 | found documented confirmation of this but it is confirmed | ||
| 20 | `_toctree_add_classes | ||
| 21 | <https://github.com/sphinx-doc/sphinx/blob/bb74aec2b6aa1179868d83134013450c9ff9d4d6/sphinx/environment/adapters/toctree.py#L403-L430>`_ | ||
| 22 | in the Sphinx source code. If the list layout goes wonky, this | ||
| 23 | might be to blame. RB 2023-10-20. #} | ||
| 24 | |||
| 25 | <li class="toctree-l1"> | ||
| 18 | 26 | ||
| 19 | <a class="reference internal" href="{{pathto('genindex.html', 1)}}">Index</a> | 27 | <a class="reference internal" href="{{pathto('genindex.html', 1)}}">Index</a> |
| 20 | 28 | ||