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.

Sign up for GitHub

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

Jump to bottom

Make some listings smaller #31

Open
DamienCassou opened this issue Oct 16, 2015 · 2 comments
Open

Make some listings smaller #31

DamienCassou opened this issue Oct 16, 2015 · 2 comments
Milestone
v2.0

Comments

@DamienCassou
Copy link
Contributor

the log listings in the Zinc chapter need to be set in a smaller font.
@cdlm cdlm mentioned this issue Oct 16, 2015
Open
9 tasks
@DamienCassou
Copy link
Contributor Author

would be nice, but this is not supported by PIllar

@DamienCassou DamienCassou modified the milestone: v2.0 Oct 16, 2015
@cdlm
Copy link
Member

cdlm commented Mar 4, 2016

This should be pretty easy to do with the new listing with small optional parameter in Pillar. I think I can implement it if you just pass it in the optional parameter of the environment, but I need to check.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v2.0
Development

No branches or pull requests
2 participants
@cdlm @DamienCassou