The theme doesn’t output any content which that CSS would apply to.
And as the li a HTML is used in a lot of places and a lot of plugins that may not want that padding, its better o provide some CSS to on the rare occasions its needed then to provide CSS to remove it.