Finish the “Restaurant” theme

Lovely theme by Tirifto <tirifto@posteo.cz>, made
originally for jam.xwx.moe.

init.lua

@@ -45,7 +45,7 @@ end
 -- Whenever a play joins, set their formspecs theme.
 minetest.register_on_joinplayer(
 	function(player)
-		local default_theme = minetest.settings:get("fs_default_theme") or "restoracio"
+		local default_theme = minetest.settings:get("fs_default_theme") or "restaurant"
 		fs_themes.set_theme(player, default_theme)
 	end
 )

settingtypes.txt

@@ -1 +1 @@
-fs_default_theme (Default theme for Formspecs) string restoracio
+fs_default_theme (Default theme for Formspecs) string restaurant

themes/restaurant

@@ -0,0 +1,24 @@
+style[*; textcolor=#532b2b]
+
+bgcolor[#fadcbe;true]
+background9[
+	5,5;1,1;restaurant_gui_bg.png;
+	true;
+	10
+]
+
+tableoptions[background=#fadcbe;highlight=#d7ff87;color=#532b2b]
+listcolors[#fadcbe;#d7ff87;#a65200;#ce7f7f;#fff]
+
+style_type[
+	button,image_button;
+	bgimg=restaurant_gui_button_bg_inactive.png;
+	border=false;
+	bgimg_middle=3,3,-4,-5
+]
+style_type[
+	button:pressed,image_button:pressed;
+	bgimg=restaurant_gui_button_bg_active.png;
+	border=false;
+	bgimg_middle=3,3,-3,-4
+]

themes/restoracio

@@ -1,10 +0,0 @@
-style[*;textcolor=#532b2b]
-
-bgcolor[#fadcbe;true]
-background9[5,5;1,1;restoracio_gui_bg.png;true;10]
-
-tableoptions[background=#fadcbe;highlight=#d7ff87;color=#532b2b]
-listcolors[#fadcbe;#fadcbe;#141318;#30434C;#FFF] ]]
-
-style_type[button,image_button;bgimg=restoracio_gui_button_bg_inactive.png;border=false;bgimg_middle=4,4,-4,-6;content_offset=0,0]
-style_type[button:pressed,image_button:pressed;bgimg=restoracio_gui_button_bg_active.png;border=false;bgimg_middle=4,5,-4,-6;content_offset=0,2]