flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
455 stars 137 forks source link

Format online documentation #417

Open albinahlback opened 2 years ago

albinahlback commented 2 years ago

Main goal to be more readable. Specifically:

NOTE: Some things in the documentation should be changed in order to look the best. One of these is to use monospace/inline code when referring to a computer variable. Another thing is to use monospace for C-files (.c, .h) in the headers. Optionally, one can also start using monospace when referring to websites and emails; I need to think about how to do this in practice first (there are multiple options).

Now, let me know if there is anything you do not like and I will try to fix it. I really enjoy typesetting, but perhaps these are only my preferences.

fredrik-johansson commented 2 years ago

It looks nice, but the custom fonts more than double the size of the source distribution (!).

albinahlback commented 2 years ago

Do you test it locally? I can't seem to get the size of a local website on Firefox, only seems to work when loading a remote website.

Anyway, does this reduce the website enough?

fredrik-johansson commented 2 years ago

I'm not primarily concerned about the website bandwidth, though that could be an issue as well. The issue is that git archive --format zip is 3.4 MB on the master branch, 7.5 MB with the fonts added.

The new fonts look great, but not enough to be worth that.

albinahlback commented 2 years ago

Yeah, I see. I think it should be optimized now.

albinahlback commented 2 years ago

If you do not think this work, I will go back to using built-in fonts.

albinahlback commented 2 years ago

Now it seems to be 3.36 MB for me. Let me know if you find anything else that needs a fix. I've looked through all the pages, but perhaps I've missed something.

Edit: I force-pushed to make the merge the commit messages after these updates.

albinahlback commented 2 years ago

I completely removed the fonts in order to favor peoples own favorite font in their browsers. I also adjusted the margins of the paper to have a maximum width, but reducing them when screen size gets smaller.

I also reduced the width of the paper (one can still display a code block with 79 column width without generating a sideways-scrollbar).

This is final.