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.