* Remove bottom padding on <details>' last element * Fix linting screwup, refine the fix * Fix linting for real