reduce height of Houses.svg

Einstein/Houses.svg

 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">

Einstein/Makefile

@@ -6,7 +6,7 @@ SPEC=einsteins_puzzle.als
 VISBFILE2=Einstein_tla.json
 SPEC2=Einstein.tla
 
-all: html/$(SPEC).html html/$(SPEC2).html
+all: html/$(SPEC).html html/$(SPEC2).html Houses.svg
 	@echo "Generated VisB HTML files in html/"
 
 html/$(SPEC).html: $(SPEC) $(VISBFILE) Makefile
@@ -15,6 +15,6 @@ html/$(SPEC).html: $(SPEC) $(VISBFILE) Makefile
 
 
 
-html/$(SPEC2).html: $(SPEC2) $(VISBFILE2) Makefile
+html/$(SPEC2).html: $(SPEC2) $(VISBFILE2) Makefile Houses.svg
 	@echo "Performing symbolic invariant check on $(SPEC2), generating html/$(SPEC).html"
 	$(PROBCLI) $(SPEC2) -cbc all -visb_with_vars $(VISBFILE2) html/$(SPEC2).html -expecterr cbc
\ No newline at end of file

Einstein/html/Einstein.tla.html

@@ -165,7 +165,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
@@ -279,7 +279,7 @@ version="1.1"   id="svg2">
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis">
-Generated on 22/3/2021 at 8:19 using ProB version 1.11.0-nightly
+Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
 <br>Main specification file: Einstein.prob
  </table>
  </div>

Einstein/html/einsteins_puzzle.als.html

@@ -163,7 +163,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
@@ -296,7 +296,7 @@ version="1.1"   id="svg2">
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis">
-Generated on 22/3/2021 at 8:19 using ProB version 1.11.0-nightly
+Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
 <br>Main specification file: einsteins_puzzle.als
  </table>
  </div>