[oXygen-user] minor: pretty printing CSS bug

[Rob Koberg]

Hi,

Given this CSS file text:

body { font: 80%/1.5 Arial,Helvetica,sans-serif; }

Pretty printing produces:

body {
  font : 80% / 1.5Arial, Helvetica, sans-serif;
}

Note the spaces around the font-size and line-height forward slash and
no space between 1.5 and Arial.

best,
-Rob