title: What does a star-preceded property mean in CSS?
body: <p>I was looking at a css file today and found the following rule set:</p>
  
  <pre><code>div.with-some-class {
      display:block;                   
      margin:0;
      padding:2px 0 0 0;
      *padding:1px 0 0 0;
      font-size:11px;   
      font-weight:normal;
      *line-height:13px;
      color:#3D9AD0;
  }
  </code></pre>
  
  <p>What does the star mean in *padding and *line-height?</p>
  
  <p>Thanks.</p>