labsite: Update SVG dimension

Update SVG dimension in labs when generating from evy source files so
that they render at a reasonable size on GitHub.

Makefile

@@ -202,7 +202,7 @@ FLAGS_frontend/lab/samples/ifs/img/grass.svg = --rand-seed=1
 FLAGS_frontend/lab/samples/forloops/img/bubble.svg = --rand-seed=1
 FLAGS_frontend/lab/samples/forloops/img/circle-rand.svg = --rand-seed=1
 %.svg: %.evy | $(NODELIB)
-	go run . run --svg-out "$@" $(FLAGS_$@) "$<"
+	go run . run --svg-style "width: 200px; height: 200px" --svg-out "$@" $(FLAGS_$@) "$<"
 	$(PRETTIER) --write "$@"
 
 %.htmlf: %.md | $(NODELIB)

frontend/lab/samples/ifs/pi.md

@@ -20,7 +20,7 @@ answer.
 
 ## ⭐ Quarter circle
 
-![quarter circle](img/quarter-circle.svg)
+![quarter circle](img/quarter-circle9.svg)
 
 What's the **area** of the red **quarter-circle** if the radius is `1`? Can
 you estimate it to the nearest tenth?

frontend/lab/samples/ifs/rectangles.md

@@ -15,24 +15,16 @@ and positions.
 
 Need ideas? **Click** on the images below for their Evy code.
 
-| ![Perspective] | ![2 Squares] |
-| -------------- | ------------ |
+| ![Perspective](img/perspective.svg "evy:edit") | ![2 Squares](img/2-squares.svg "evy:edit") |
+| ---------------------------------------------- | ------------------------------------------ |
 
 Be inspired by culture and art
 
-[Perspective]: img/perspective.svg "evy:edit"
-[2 Squares]: img/2-squares.svg "evy:edit"
-
 ### [>] Samples
 
-| ![Bauhaus] | ![Mondrian] |
-| ---------- | ----------- |
-| ![Monster] | ![Tetris]   |
-
-[Bauhaus]: img/bauhaus.svg "evy:edit"
-[Mondrian]: img/mondrian.svg "evy:edit"
-[Monster]: img/monster.svg "evy:edit"
-[Tetris]: img/tetris.svg "evy:edit"
+| ![Bauhaus](img/bauhaus.svg "evy:edit") | ![Mondrian](img/mondrian.svg "evy:edit") |
+| -------------------------------------- | ---------------------------------------- |
+| ![Monster](img/monster.svg "evy:edit") | ![Tetris](img/tetris.svg "evy:edit")     |
 
 #### [>] More