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 diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index 616ce2794e..4fa970c97a 100644 --- a/src/html_support_files/odoc.css +++ b/src/html_support_files/odoc.css @@ -725,7 +725,13 @@ td.def-doc *:first-child { /* Alert emoji */ .alert::before, .deprecated::before { - content: '⚠️ '; + content: '⚠️ ' / ''; +} + +/* Since emoji */ + +.since::before { + content: '🕚 ' / ''; } /* Lists of modules */