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

Decrease font size of folder listing in Docs section #12

Closed

mrueschman opened this issue Aug 28, 2019 · 1 comment

Assignees

Labels

Milestone

Member

mrueschman commented Aug 28, 2019

Make more similar to size on patstrial.org in order to fit more stuff on the screen (and have less wrapping across lines).

mrueschman assigned remomueller

mrueschman added the Enhancement label

remomueller added this to the 12.0.0 milestone

Member

remomueller commented Sep 4, 2019

The text is currently the same size as on patstrial.org, did you want the file names reduced in size?

remomueller added a commit that referenced this issue


          Reduced size of folder names in documents sidebar, closes #12.

ec00c70

remomueller closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment