remove unused docs css
fixes #9509: add margin around buttons so they don't shit the bed when wrapping