use <specs_phone.scad>

function get_platform_size() = [
    get_phone_size().x - 5,
    get_phone_size().y - 5,
    5
    ];