Replace h3 for notable traits with div

This commit is contained in:
Guillaume Gomez 2021-06-02 21:16:33 +02:00
parent 14fe83f7e4
commit 0daf8ac41f
4 changed files with 23 additions and 15 deletions

View File

@ -117,7 +117,7 @@ h2 {
h3 {
font-size: 1.3em;
}
h1, h2, h3:not(.notable), h4 {
h1, h2, h3, h4 {
font-weight: 500;
margin: 20px 0 15px 0;
padding-bottom: 6px;
@ -1129,6 +1129,13 @@ a.test-arrow:hover{
margin: 0;
}
.notable-traits .notable {
margin: 0;
margin-bottom: 13px;
font-size: 19px;
font-weight: 600;
}
.notable-traits .docblock code.content{
margin: 0;
padding: 0;
@ -1190,9 +1197,6 @@ pre.rust {
cursor: pointer;
z-index: 2;
margin-left: 5px;
position: absolute;
left: -44px;
top: 2px;
}
#all-types {
@ -1308,14 +1312,6 @@ pre.rust {
border-top: 1px solid;
}
h3.notable {
margin: 0;
margin-bottom: 13px;
font-size: 19px;
}
kbd {
display: inline-block;
padding: 3px 5px;

View File

@ -10,7 +10,7 @@ body {
color: #c5c5c5;
}
h1, h2, h3:not(.notable), h4 {
h1, h2, h3, h4 {
color: white;
}
h1.fqn {
@ -406,6 +406,10 @@ pre.ignore:hover, .information:hover + pre.ignore {
border-color: #5c6773;
}
.notable-traits-tooltiptext .notable {
border-bottom-color: #5c6773;
}
#titles > button.selected {
background-color: #141920 !important;
border-bottom: 1px solid #ffb44c !important;

View File

@ -3,7 +3,7 @@ body {
color: #ddd;
}
h1, h2, h3:not(.notable), h4 {
h1, h2, h3, h4 {
color: #ddd;
}
h1.fqn {
@ -354,6 +354,10 @@ pre.ignore:hover, .information:hover + pre.ignore {
border-color: #777;
}
.notable-traits-tooltiptext .notable {
border-bottom-color: #d2d2d2;
}
#titles > button:not(.selected) {
background-color: #252525;
border-top-color: #252525;

View File

@ -5,7 +5,7 @@ body {
color: black;
}
h1, h2, h3:not(.notable), h4 {
h1, h2, h3, h4 {
color: black;
}
h1.fqn {
@ -346,6 +346,10 @@ pre.ignore:hover, .information:hover + pre.ignore {
border-color: #999;
}
.notable-traits-tooltiptext .notable {
border-bottom-color: #DDDDDD;
}
#titles > button:not(.selected) {
background-color: #e6e6e6;
border-top-color: #e6e6e6;