body {
  color:"hello world";
  height:5.1666666666667;
  height:5px;
  height:6px;
  width:0.66666666666667;
  width:1;
  width:0;
  width:1;
  width:3px;
  color:#00112233;
  color:#992c3742;
}
format {
  format:"rgb(32, 128, 64)";
  format-string:"hello world";
  format-multiple:"hello earth 2";
  format-url-encode:'red is %A';
  eformat:rgb(32, 128, 64);
}