mirror of
https://github.com/VSCodium/vscodium.github.io.git
synced 2025-12-10 03:54:23 -06:00
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/VSCodium/vscodium.github.io/pull/43
Author: @faresbakhit
Created: 6/22/2021
Status: ✅ Merged
Merged: 7/2/2021
Merged by: @stripedpajamas
Base:
master← Head:patch-3📝 Commits (2)
d6c65a1Fix posts anchor links hiding content107653aAdd media queries📊 Changes
1 file changed (+11 additions, -2 deletions)
View changed files
📝
_includes/css/main.css(+11 -2)📄 Description
The issue mentioned in #35 was because of the nav bar overlapping the post content
so an easy solution would be setting the scroll-margin-top to the same height as the nav bar (1px smaller)
Here's before (from https://github.com/VSCodium/vscodium.github.io/issues/35#issue-792908133):

Here's after:

Sorry for the quality and the colors of the GIF
Added support to media queries
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.