/* generated by build_theme.py: margin-bottom copies, see the bridge notes */