mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix display of features in rustdoc

Browse Source
This commit is contained in:
Guillaume Gomez 2023-12-06 15:33:01 +01:00
parent cf8d81213c
commit bf681dcfb5
1 changed files with 12 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/librustdoc/html/static/css/rustdoc.css
View File

@ -1081,15 +1081,9 @@ so that we can apply CSS-filters to change the arrow color in themes */
} }
.item-info .stab { .item-info .stab {
/* This min-height is needed to unify the height of the stab elements because some of them display: block;
have emojis.
*/
min-height: 36px;
display: flex;
padding: 3px; padding: 3px;
margin-bottom: 5px; margin-bottom: 5px;
align-items: center;
vertical-align: text-bottom;
} }
.item-name .stab { .item-name .stab {
margin-left: 0.3125em; margin-left: 0.3125em;
@ -1112,10 +1106,19 @@ so that we can apply CSS-filters to change the arrow color in themes */
color: var(--stab-code-color); color: var(--stab-code-color);
} }
.stab .emoji { .stab .emoji, .item-info .stab::before {
font-size: 1.25rem; font-size: 1.25rem;
}
.stab .emoji {
margin-right: 0.3rem; margin-right: 0.3rem;
} }
.item-info .stab::before {
/* ensure badges with emoji and without it have same height */
content: "\0";
width: 0;
display: inline-block;
color: transparent;
}
/* Black one-pixel outline around emoji shapes */ /* Black one-pixel outline around emoji shapes */
.emoji { .emoji {