taxonomy entry in pushbutton style.css causing a problem

The STYLE.CSS file from the pushbutton theme in release 4.7

.node .taxonomy {
  color: #999;
  font-size: 0.83em;
  padding: 1.5em;
}

The padding line is causing problems with rendering on IE6. When a user puts their cursor over a node title, there is a blind spot where they cannot click. Removing that line solved the problem with unnoticable side effects. Does it have a purpose that I did not notice?

CHANGED TO:

.node .taxonomy {
  color: #999;
  font-size: 0.83em;
}