TablePager: Unify `padding` with `.wikitable`
authorVolker E <volker.e@wikimedia.org>
Sat, 19 Jan 2019 01:01:53 +0000 (17:01 -0800)
committerVolker E <volker.e@wikimedia.org>
Sat, 19 Jan 2019 01:01:53 +0000 (17:01 -0800)
commit887ca52cb256c5e213a040e9ab965172af7f2c29
treeca0791bcf30be8ba32fb10f04f0698ceb3d4f7ae
parenteee984e9b996a5a10ee81c543e31ac3677b6995a
TablePager: Unify `padding` with `.wikitable`

This should be at best temporarily until `.mw-datatable` gets same
`padding`.

Bug: T214208
Change-Id: Ib86808803fd6fa41704e7a69687a1ab41ef3c43d
resources/src/mediawiki.pager.tablePager/TablePager.less