body { font: 13px / 1.231; }
body {font: 13px / 1.231;}
body {font: 13px / 1.231}
body {  font : 13px / 1.231  }
body {  font : 13px / 1.231; background: white }