Fixes up some formatting on github menu theme, fixes some input variables in menu