Sev/menu headers
This branch makes the style of menu headers editable in skinfiles. It also removes a lot of redundancy by moving the initialization of the header labels into a dedicated function.
Default values have been added to existing skinfiles.