diff options
| author | Erik Faye-Lund <[email protected]> | 2019-04-18 15:13:36 +0200 |
|---|---|---|
| committer | Erik Faye-Lund <[email protected]> | 2019-05-02 11:09:15 +0000 |
| commit | 7eee13c46794da1317cb865879611ec236fd9a3a (patch) | |
| tree | 17112bc1c984a9f63126b4656a4d6359d1a800eb /docs/contents.html | |
| parent | 3f0568d7e518a8a3c14c79d55c55d40a79de7549 (diff) | |
docs: use dl/dd instead of blockquote for freedesktop link
The blockquote happens to match the indentation of the other lists for
most browsers, but this isn't a guarantee. Let's instead use a
definition-list, which is more strongly connected to a list, so it's
more likely to have the same indention.
This also makes sure that we don't have similar padding on the
right-hand side, in case we change the text-size.
Signed-off-by: Erik Faye-Lund <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'docs/contents.html')
| -rw-r--r-- | docs/contents.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/contents.html b/docs/contents.html index d30812da918..1d39b2f5f51 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -105,6 +105,9 @@ <blockquote> <a href="https://freedesktop.org" target="_parent">freedesktop.org</a> </blockquote> +<dl> +<dd><a href="https://freedesktop.org" target="_parent">freedesktop.org</a> +</dl> </body> </html> |