Reduced console image size

diff --git a/Console/build.py b/Console/build.py
index ecfadc3fe6fc1407e0aedc72bb8c27cf860919c6..b817995d5db9c440652411ebffbe2475b9a7d770 100644 (file)
--- a/Console/build.py
+++ b/Console/build.py
@@ -174,7 +174,7 @@ mf.write(help_redirect)
 mf.close()
 
 def optimise_manual(path):
-    pm = 140
+    pm = 115
     scale_imgs = [
         ("_images/board_rnodev2.png", pm),
         ("_images/board_rnode.png", pm),
@@ -208,6 +208,10 @@ def optimise_manual(path):
         "_static/_sphinx_javascript_frameworks_compat.js",
         "_static/scripts/furo.js.LICENSE.txt",
         "_static/styles/furo-extensions.css.map",
+        # "_static/pygments.css",
+        # "_static/language_data.js",
+        # "_static/searchtools.js",
+        # "searchindex.js",
     ]
     for file in remove_files:
         fp = path+"/"+file