Today we made a minor change to the styling of the Info and Warning boxes, making them a bit tighter, with less spacing around the icon on the left:
At the same time, we fixed a problem in the styling of these boxes in the PDF version. These now have the same look as the online manuals.
It is now possible to customize your manual “hub page” with a full width (1,000 pixels) banner image.