Update content of files

This commit is contained in:
GitHub Action 2023-07-10 13:03:53 +00:00
parent 02b24fc066
commit 1f017b8557

View file

@ -3488,6 +3488,13 @@ a.pr-popup-account:hover {
#dev_page_content strong {
font-weight: 500;
}
#dev_page_content > ul:not(.nav) li,
#dev_page_content > ol:not(.nav) ul:not(.nav) li,
#dev_page_content ul.bulleted li {
background-position: 0px 7px;
background-size: 6px 6px;
padding-left: 16px;
}
.pr-page-header-wrap {
display: flex;