break some lines in the ->i blue box
to make it fit in the allowed width
adjust the drracket blue boxes to be more like the new docs blue boxes
fix contract