improve scroll margin

pull/7/head
Septs 2022-12-15 15:12:46 +08:00
parent e53e02b0ed
commit 141f35274f
No known key found for this signature in database
GPG Key ID: 65144037AFA516E1
1 changed files with 7 additions and 1 deletions

View File

@ -5,7 +5,7 @@
:root {
touch-action: manipulation;
font-variant-numeric: tabular-nums;
scroll-padding-top: $navbar-height + 2rem;
scroll-padding-top: $navbar-height;
}
body {
@ -36,6 +36,12 @@ main > .container {
}
.content {
$margins: h1 1em, h2 1.1428em, h3 1.3333em, h4 1em, h5 1em, h6 1em;
@each $margin in $margins {
#{nth($margin, 1)}:not(:first-child) {
scroll-margin-top: nth($margin, 2) - 0.1em;
}
}
table.table {
&.is-align-middle td {
vertical-align: middle;