Arne Köhn

I'm going through the CSS changes for bootstrap 5 and the behavior of badges has changed. We are currently using badges in a lot of places where we provide a...

There are two possible approaches: - make tiny buttons - make "buttonized" badges (i.e. make them react to hover again) I think I prefer the first one because it is...

I finally got around to continue this transition (and re-learning css on the way), there is one thing I am struggling with: Some "buttons" (which partly used to be badges)...

I have pushed the current state. Known problems: - attachment button not rendered correctly (see Q above) - "more options" in the copy citations line is not working - cite...

Thanks @mbollmann that was the hint I needed :-) Everything should be fixed now, please have a look at the preview -- after it is built. one thing to note:...

Will look into underline & icon spacing (I have that as well, but here the lines are thinner so I did not notice ...) Is the second image a forced...

The new default font should be closer to your system default, the old one you saw is still there as a fallback in case the correct one cannot be loaded....

Thanks! I will look at the scaling issue. Can reproduce when zooming in to 150%.

We can use a custom font; all I wanted to say is that bootstrap 4 already tried to use a system font and the main difference for bootstrap 5 is...

This is automatically generated, so missing data is a bug in the pipeline.