Export to HTML updates (#69)

Author: fonsp

…assets/img/Export options screenshot.png …/assets/img/Export options recording.pngsrc/assets/img/Export options screenshot.png renamed to src/assets/img/Export options recording.png src/assets/img/Export options screenshot.png renamed to src/assets/img/Export options recording.png

@@ -27,7 +27,14 @@ For some examples of HTML export files, check out our [featured notebooks](https
 > ### Step 3
 > Choose "Static HMTL".
 > 
-> <img src="$(root_url)/assets/img/Export options screenshot.png" alt="Screenshot of the export options" width="1804" height="472">
+> <img src="$(root_url)/assets/img/export options.png" alt="Screenshot of the export options" width="1882" height="468">
+> 
+> ### Step 4
+> Choose "Download HTML file".
+> 
+> <img src="$(root_url)/assets/img/export html local or plutoland.png" alt="Screenshot of the export options" width="852" height="896">
+> 
+> _You can learn more about pluto.land [here](../notebooks-online/#plutoland)._
 
 
 

src/assets/img/export html local or plutoland.png

@@ -28,7 +28,7 @@ When you send your `.jl` notebook file to someone else, they can open the notebo
 > ### Step 3
 > Choose "Notebook file".
 > 
-> <img src="$(root_url)/assets/img/Export options screenshot.png" alt="Screenshot of the export options" width="1804" height="472">
+> <img src="$(root_url)/assets/img/export options.png" alt="Screenshot of the export options" width="1882" height="468">
 
 
 !!! info

src/assets/img/export options.png

@@ -25,7 +25,7 @@ If you want to print your notebook, or submit it as homework assignment, it migh
 > ### Step 3
 > Choose "PDF".
 > 
-> <img src="$(root_url)/assets/img/Export options screenshot.png" alt="Screenshot of the export options" width="1804" height="472">
+> <img src="$(root_url)/assets/img/export options.png" alt="Screenshot of the export options" width="1882" height="468">
 
 
 ## Page layout

src/en/docs/export-html.jlmd

@@ -28,7 +28,7 @@ Press the **Share** button in the top right.
 ### Step 3
 Choose "Record".
 
-<img src="$(root_url)/assets/img/Export options screenshot.png" alt="Screenshot of the export options" width="1804" height="472">
+<img src="$(root_url)/assets/img/Export options recording.png" alt="Screenshot of the export options" width="1804" height="472">
 
 ### Step 4
 Click to start a recording. You can choose between recording **with microphone audio** or **without audio** (screen only).