From a23588fb9c71c9ef48b77ae7a66ac2c12fc5cf71 Mon Sep 17 00:00:00 2001 From: Yawar Amin Date: Thu, 7 Mar 2024 00:25:20 -0500 Subject: [PATCH 1/3] Add clock emoji before 'since' tag --- src/html_support_files/odoc.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index 616ce2794e..d1f43964f4 100644 --- a/src/html_support_files/odoc.css +++ b/src/html_support_files/odoc.css @@ -728,6 +728,12 @@ td.def-doc *:first-child { content: '⚠️ '; } +/* Since emoji */ + +.since::before { + content: '🕚 '; +} + /* Lists of modules */ .modules { list-style-type: none; margin-left: -3ex; } From a21b7ff583a8a83ae7ea8ba11aa9cd1635576808 Mon Sep 17 00:00:00 2001 From: Yawar Amin Date: Thu, 7 Mar 2024 00:31:08 -0500 Subject: [PATCH 2/3] Add changelog entry --- CHANGES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES.md b/CHANGES.md index 9945fbf761..9baf22e1b0 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -7,6 +7,7 @@ (@panglesd, #976) - Separate compilation of interface and implementation files, using a new `compile-src` command (@panglesd, #1067). +- Add clock emoji before `@since` tag (@yawaramin, #1089) ### Changed From 12fffdcf8bf9affdaec029138e30777eacdef01c Mon Sep 17 00:00:00 2001 From: Yawar Amin Date: Thu, 7 Mar 2024 12:38:03 -0500 Subject: [PATCH 3/3] Add alt text so screen readers will ignore emojis --- src/html_support_files/odoc.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index d1f43964f4..4fa970c97a 100644 --- a/src/html_support_files/odoc.css +++ b/src/html_support_files/odoc.css @@ -725,13 +725,13 @@ td.def-doc *:first-child { /* Alert emoji */ .alert::before, .deprecated::before { - content: '⚠️ '; + content: '⚠️ ' / ''; } /* Since emoji */ .since::before { - content: '🕚 '; + content: '🕚 ' / ''; } /* Lists of modules */