This commit is contained in:
github-actions[bot]
2024-05-30 18:00:32 +00:00
parent 00fb8f4d46
commit a26f1c8134
6109 changed files with 39396 additions and 31836 deletions
@@ -3291,6 +3291,20 @@ h1, h2, h3, h4, h5, h6 {
code {
font-family: 'Roboto Mono', monospace;
}
dd {
margin-top: 1rem;
margin-bottom: 1rem;
}
dt {
font-weight: bold;
margin-top: 1rem;
}
dl p {
font-size: .9rem;
font-weight: lighter;
margin-inline-start: 40px; /*This is intended to match the margin spacing for the dd element*/
margin-bottom: 0;
}
hr {
background-image: -webkit-linear-gradient(left,#f3f3f3,#adadb1,#f3f3f3);
margin: 0 auto;