update files and scripts to fix erros in the loaded, server and mini builds

Makefile

@@ -26,10 +26,6 @@ deb64opb:
 	python3 ${PY_PATH}/build_iso.py set e-openbox b-deb64
 dev64opb:
 	python3 ${PY_PATH}/build_iso.py set e-openbox b-dev64
-debloadxf:
-	python3 ${PY_PATH}/build_iso.py set e-loadxf b-deb64
-devloadxf:
-	python3 ${PY_PATH}/build_iso.py set e-loadxf b-dev64
 
 ## 32 bit ISOs
 deb32xfce:
@@ -59,6 +55,12 @@ debarmopb:
 devarmopb:
 	python3 ${PY_PATH}/build_iso.py set e-openbox b-devarm
 
+## loaded isos
+debloadxf:
+	python3 ${PY_PATH}/build_iso.py set e-loadxf b-deb64
+devloadxf:
+	python3 ${PY_PATH}/build_iso.py set e-loadxf b-dev64
+
 ## server isos
 debserver:
 	python3 ${PY_PATH}/build_iso.py set e-server b-deb64

iso_configs/grub/debsrv_themes/peppermint/theme.txt

@@ -0,0 +1,42 @@
+# Main options
+title-text: ""
+desktop-image: "background.png"
+desktop-color: "#000000"
+terminal-font: "Terminus Regular 14"
+terminal-box: "terminal_box_*.png"
+terminal-left: "0"
+terminal-top: "0"
+terminal-width: "100%"
+terminal-height: "100%"
+terminal-border: "0"
+
+# Boot menu
++ boot_menu {
+  left = 15%
+  top = 40%
+  width = 85%
+  height = 65%
+  item_font = "Terminus Regular 14"
+  item_color = "#cccccc"
+  selected_item_color = "#ffffff"
+  icon_width = 36
+  icon_height = 36
+  item_icon_space = 20
+  item_height = 40
+  item_padding = 2
+  item_spacing = 10
+  selected_item_pixmap_style = "select_*.png"
+}
+
+
+# Countdown label
+# You can change the name of default starting OS here
++ label {
+  left = 15%
+  top = 31%
+  align = "center"
+  id = "__timeout__"
+  text = "Peppermint will start in %d seconds"
+  color = "#cccccc"
+  font = "Terminus Regular 14"
+}

iso_configs/grub/devld_themes/peppermint/theme.txt

@@ -0,0 +1,42 @@
+# Main options
+title-text: ""
+desktop-image: "background.png"
+desktop-color: "#000000"
+terminal-font: "Terminus Regular 14"
+terminal-box: "terminal_box_*.png"
+terminal-left: "0"
+terminal-top: "0"
+terminal-width: "100%"
+terminal-height: "100%"
+terminal-border: "0"
+
+# Boot menu
++ boot_menu {
+  left = 15%
+  top = 40%
+  width = 85%
+  height = 65%
+  item_font = "Terminus Regular 14"
+  item_color = "#cccccc"
+  selected_item_color = "#ffffff"
+  icon_width = 36
+  icon_height = 36
+  item_icon_space = 20
+  item_height = 40
+  item_padding = 2
+  item_spacing = 10
+  selected_item_pixmap_style = "select_*.png"
+}
+
+
+# Countdown label
+# You can change the name of default starting OS here
++ label {
+  left = 15%
+  top = 31%
+  align = "center"
+  id = "__timeout__"
+  text = "Peppermint will start in %d seconds"
+  color = "#cccccc"
+  font = "Terminus Regular 14"
+}