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

Issue 224 doc css #225

Merged

joeytakeda merged 2 commits into dev from issue-224-doc-css

Feb 17, 2022

Collaborator

martindholmes commented Feb 17, 2022

Initial fixes to make the documentation more human-readable, per issue #224. Obviously we can do more, but this is a start.

martindholmes added 2 commits

February 16, 2022 15:47


          Fix badnesses inherited from TEI CSS.

6ec2c26


          Initial prettifying for better readability.

dd7cebd

martindholmes requested a review from joeytakeda

February 17, 2022 00:05

martindholmes assigned joeytakeda

Contributor

joeytakeda commented Feb 17, 2022

Thanks--this looks much nicer to me, too. I'll merge this in now.

joeytakeda merged commit b36827a into dev

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

Labels

None yet