Remove media element child html element
html element scroll-padding-top is no longer required due to navigation bar on small displays being hidden when anchors are jumped to.
This commit is contained in:
parent
e4ed64278c
commit
80e414c55d
6
main.css
6
main.css
@ -1,5 +1,5 @@
|
|||||||
/* Inferencium - Website - CSS */
|
/* Inferencium - Website - CSS */
|
||||||
/* Version: 11.1.1 */
|
/* Version: 11.1.2-alpha.1 */
|
||||||
|
|
||||||
/* Copyright 2022 Jake Winters */
|
/* Copyright 2022 Jake Winters */
|
||||||
/* SPDX-License-Identifier: BSD-3-Clause */
|
/* SPDX-License-Identifier: BSD-3-Clause */
|
||||||
@ -246,10 +246,6 @@ strong {
|
|||||||
/* Media */
|
/* Media */
|
||||||
@media (max-width: 600px) {
|
@media (max-width: 600px) {
|
||||||
|
|
||||||
html {
|
|
||||||
scroll-padding-top: 75px;
|
|
||||||
}
|
|
||||||
|
|
||||||
body {
|
body {
|
||||||
padding-top: 80px;
|
padding-top: 80px;
|
||||||
margin: 15px;
|
margin: 15px;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user