function scaleRatio(scale) {
  return {"set": [["layout.css.devPixelsPerPx", "" + scale]]};
}