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