diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2025-01-19 01:22:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-19 01:22:36 +0100 |
| commit | 85b69bf753a7cf34442c75e7b6910d8862bf25fb (patch) | |
| tree | 0307adf8930006aa924ff35557588e49db63837c /compiler/rustc_interface/src | |
| parent | 1d55f7270dc6fda5c19da3f563e91165d07463c4 (diff) | |
| parent | b3865d1832ff1e08e159f327b3b26d73f079f7b3 (diff) | |
| download | rust-85b69bf753a7cf34442c75e7b6910d8862bf25fb.tar.gz rust-85b69bf753a7cf34442c75e7b6910d8862bf25fb.zip | |
Rollup merge of #135641 - GuillaumeGomez:items-list, r=notriddle
[rustdoc] Replace module list items `ul`/`li` with `dl`/`dd`/`dt` elements
`@hywan` suggested that rustdoc should use `dl`,`dt` and `dd` HTML tags for listing items on module pages as it matches better what this is (an item and optionally its description). This is a very good idea so here is the implementation.
Also nice side-effect of this change: it reduces a bit the generated HTML since we go from:
This PR shouldn't impact page appearance.
```html
<ul class="item-table">
<li>
<div class="item-name">NAME</div>
<div class="desc docblock-short">THE DOC</div>
</li>
</ul>
```
to:
```html
<dl class="item-table">
<dt>NAME</dt>
<dd>THE DOC</dd>
</dl>
```
You can test it [here](https://rustdoc.crud.net/imperio/items-list/std/index.html).
r? `@notriddle`
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions