Oh, wow. I didn't know that I can change theme through the game. It's great news, I can implement something that i threw away earlier. Thank you, will give it a try.
I don't think you need to implement a special end game theme just to get rid of the header ...
Just do this :
: clear_screen hide_status_bar = "true" ; : print "Your message"; : lose_game;
