Function cssToDevicePixels

docs/app/js/sanddance-app.js:59413–59419

(gl, cssPixel)

    return 1;
}
function cssToDevicePixels(gl, cssPixel) {
    var yInvert = arguments.length > 2 && arguments[2] !== undefined ? arguments[2] : true;
    var ratio = cssToDeviceRatio(gl);
    var width = gl.drawingBufferWidth;
    var height = gl.drawingBufferHeight;
    return scalePixels(cssPixel, ratio, width, height, yInvert);
}
function getDevicePixelRatio(useDevicePixels) {
    var windowRatio = typeof window === "undefined" ? 1 : window.devicePixelRatio || 1;
    if (Number.isFinite(useDevicePixels)) return useDevicePixels <= 0 ? 1 : useDevicePixels;