Skip to content

Conversation

@robbystk
Copy link
Contributor

@robbystk robbystk commented Jun 2, 2017

Addresses #4. Adding margin to the top adds space between nested list elements and their parent.

@pkgw
Copy link
Contributor

pkgw commented Jun 2, 2017

Much nicer, thanks!

@pkgw pkgw merged commit ecfb2a5 into tectonic-typesetting:master Jun 2, 2017
@pkgw pkgw mentioned this pull request Jun 3, 2017
@robbystk
Copy link
Contributor Author

robbystk commented Jun 5, 2017

Thanks for merging!

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