Skip to content

Conversation

@jimporter
Copy link
Contributor

…s correctly; resolves #843

@jimporter
Copy link
Contributor Author

Just a note: you merged the corresponding patch for the Bootswatch themes here:mkdocs/mkdocs-bootswatch#13 (by way of mkdocs/mkdocs-bootswatch#14), so hopefully this can be merged as well. :)

@d0ugal
Copy link
Member

d0ugal commented Mar 2, 2016

Yup, most likely - I just wanted to test it manually first. Should do that tomorrow morning.

d0ugal added a commit that referenced this pull request Mar 3, 2016
Fix the padding above header elements so that hovering over them work…
@d0ugal d0ugal merged commit 03fd4d6 into mkdocs:master Mar 3, 2016
@d0ugal
Copy link
Member

d0ugal commented Mar 3, 2016

Looks good! Thanks! I honestly don't really understand it, but it seems to work well.

@jimporter jimporter deleted the anchor-padding branch June 30, 2016 05:31
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.

Hover state for headers' permalinks is weird

2 participants