16 Commits

Author SHA1 Message Date
cd201c33d2
Use media element child nav-bar element padding-top and padding-bottom 2023-11-16 22:04:00 +00:00
9c3282728e
Decrease media element child nav-bar element padding-top to 15px 2023-11-16 22:01:05 +00:00
0029108fdc
Fix media element for small displays 2023-11-16 21:57:27 +00:00
395245bd92
Reorder file metadata header 2023-11-16 21:56:18 +00:00
8c409cc984
Add custom CSS class "nav-bar" for main navigation bar 2023-11-16 17:39:35 +00:00
55fa457e25
Switch navigation bar from custom sidebar element to proper nav 2023-11-14 19:17:49 +00:00
a182c2e237
Fix heading sizes 2023-11-14 19:17:41 +00:00
7b98e7a6a9
Add HTML element "scroll-padding-top"
This fixes the issue of the navigation bar overlapping anchors on small
displays.
2023-11-14 19:17:24 +00:00
462c21ff2f
Decrease media navigation bar height from 40px to 35px 2023-11-14 14:48:42 +00:00
5597234794
Switch media body element overflow-x hidden to scroll 2023-11-14 14:47:12 +00:00
8167303e98
Remove media HTML section CSS 2023-11-14 14:45:20 +00:00
570424ed0b
Fix code to conform to code style 2023-11-14 13:49:12 +00:00
e4b0517f10
Increase blockquote font size to match paragraph font size 2023-11-14 13:46:04 +00:00
ec731523cc
Remove section CSS styling 2023-11-14 13:25:58 +00:00
3444b792bb
Rebase CSS "main" from version 11.0.0-alpha.1+52 onto 11.0.0+54 2023-11-14 13:17:55 +00:00
08e01e8af1
Rename CSS from "inf" to "main" 2023-10-03 06:59:22 +01:00