KGHustad
commented
6 years ago Thank you, @mikaem! There seems to be two issues at play here:
1) For security reasons, browsers don't like pulling in external content via http on a https-page, so we should probably change the URLs to https for all sites that support it (a process you've already started). At the moment, HTML-documents generated by DocOnce works poorly when retrieved via https.
2) This version of the manual looks for a stylesheet which isn't in the repository. (The other bootstrap variants refer to a CDN instead, which is much better than having to include copies of the same stylesheets and scripts with every document.)
~I'll look into this further when I have time, but for now, I would recommend using the other HTML version of the manual.~
Update: I've now updated the manual, so https://hplgit.github.io/doconce/doc/pub/manual/manual.html should display properly.
The Doconce description (the first link I go to after googling doconce) now renders very poorly on my Mac and android phone, even though I've seen it render just fine on an Iphone. I've tracked the poor rendering to some http's in css links and the rendering is ok after changing to https, which is the gist of this PR.
The documentation should be recompiled after merging this PR. Not sure what's the correct approach is for that, so I don't do anything with it here. There may also be some other links out there using the bootstrap scheme that need to be recompiled.