Prettify collapsing button (and add missing file)