Changing #node-admin-filter list style in node.css

Currently, bullets are removed from the admin filter ul list with list-style-type: none. However, if you have used list-style-image to style ul bullets in your site, then the bullets will still show up because list-style-type does not override list-style-image. The easiest way to fix this is to change list-style-type to list-style in #node-admin-filter in node.css. The list-style property sets all the properties for a list in one declaration. In contrast, the list-style-type sets the type of list-item marker (ex. disc, circle, square, etc.).

I have made this css change on a few sites and thought that it might be a good modification to core. I've attached my very small patch.

Here's the old code:

#node-admin-filter ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
  width: 100%;
}

And, here's the revised code:

#node-admin-filter ul {
  list-style: none;
  padding: 0;
  margin: 0;
  width: 100%;
}