Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add 40px anchor margin to make room for bootstrap header #1

Merged
merged 1 commit into from
Dec 7, 2013
Merged

Add 40px anchor margin to make room for bootstrap header #1

merged 1 commit into from
Dec 7, 2013

Conversation

lsegal
Copy link
Contributor

@lsegal lsegal commented Dec 7, 2013

Currently on the website, if you click any of the nav links at the top you are brought down to the anchor, but because of the nav height, it obstructs part of the heading.

This change adds a 40px margin to make room for the headings. Solution from StackOverflow.

jbaxter added a commit that referenced this pull request Dec 7, 2013
Add 40px anchor margin to make room for bootstrap header
@jbaxter jbaxter merged commit 19ceb89 into probcomp:master Dec 7, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants