Skip to content

Commit 685a829

Browse files
yawaraminjonludlam
authored andcommitted
Add emoji before alert message
And update path of CSS file in repo.
1 parent c2d9f9d commit 685a829

File tree

2 files changed

+7
-1
lines changed

2 files changed

+7
-1
lines changed

doc/contributing.mld

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ find the information in this file helpful.
88

99
{1 Quick start: HTML and CSS}
1010

11-
The [odoc] CSS is found at {{:https://github.com/ocaml/odoc/blob/master/src/odoc/etc/odoc.css}[src/odoc/etc/odoc.css]}. It
11+
The [odoc] CSS is found at {{:https://github.com/ocaml/odoc/blob/master/src/html_support_files/odoc.css}[src/html_support_files/odoc.css]}. It
1212
still needs work, and PRs are very welcome. You can edit CSS using your browser's {{:https://developer.mozilla.org/en-US/docs/Tools}developer}
1313
{{:https://developer.chrome.com/docs/devtools/}tools}. Then send us a PR for the same changes made to this file.
1414

src/html_support_files/odoc.css

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -557,6 +557,12 @@ td.def-doc *:first-child {
557557
.at-tags li { padding-left: 3ex; text-indent: -3ex; }
558558
.at-tags .at-tag { text-transform: capitalize }
559559

560+
/* Alert emoji */
561+
562+
.alert::before {
563+
content: '⚠️ ';
564+
}
565+
560566
/* Lists of modules */
561567

562568
.modules { list-style-type: none; margin-left: -3ex; }

0 commit comments

Comments
 (0)