Comment 1 for bug 1262217

www.ubuntu.com avoids the same mistake, but only narrowly. From
<http://assets.ubuntu.com/sites/guidelines/css/latest/ubuntu-styles.css>:

    code,li,p,pre{
      font-size:1em;
      margin-bottom:.75em;
      line-height:1.6;
      margin-bottom:.75em
    }

In the case of <code>, the margin declarations are no-ops, because <code> is an inline element, not a block element. The only effective declaration is the {line-height: 1.6}, and that probably doesn't do what its creator thought it would! "code," would best be removed from that selector as well.