[why]
The previous fix broke the instances of the subtitle circle in all the
other topics (Downloads, CheatSheet, Backers, ...) because it rendered
the circle too wide horizontally, while the vertical size was ok.
[how]
The previous previous fix with a concrete circle hight and width and
adequate line spacing for the filling font works better. The circle is
not absolutely circular, but roughly it is.
Unless there is a Web magician who can fix this in a better way I
believe the not-really-circular in one place (all-icons-divider) is
better than absurdly wide circles in all section subtitles.
Fixes: #1384
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
[why]
Testing with Firefox 113 and Chromium 118 the eveness of the round
circle might be improved a bit by using a slightly different font size.
Well, I did this on Linux, maybe the rendering is different on other
Platforms? We will see.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
This reverts commit 20da768954.
The problem is solved more elegantly by the next commit
Issue with Subtitle Circle and Layout on Smaller Screens #1384 fixed
[why]
The Star and Fork buttons sometime show nicely, sometimes they are just
plain linked tect with no count and no icon and nothing.
[how]
The reason is not completely clear, sometimes it works and without any
change after a complete reload it does not work anymore.
The most likely candidate is the Github rate limit that we run into for
cross repo access. To avoid that we just copy the button script into our
repository. The rate limit will now not apply anymore.
But of course we will also not get any updates. That needs to be checked
from time to time manually - as with the Github actions.
Strange is already that the current script from github.io is version
2.27.0 while the latest release on the repo is 4.2.2. The date is the
same (Dec 2022).
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
