sets the stroke width
$.shape.strokeWidth
Examples
function update() {
$.shape.strokeWidth = 3;
$.colour.stroke="orange";
$.shape.rectangle(
$.w/2, // x position
$.h/2, // y position
30, // width
30 // height
);
$.shape.strokeWidth = 10;
$.colour.stroke="blue";
$.shape.rectangle(
$.w/2, // x position
$.h/2+30, // y position
30, // width
30 // height
);
}