/*
* This is used in the screens, mostly for historical reasons (they were
* first hard-coded to 800x600, and changing them to be resolution-independent
/*
* This is used in the screens, mostly for historical reasons (they were
* first hard-coded to 800x600, and changing them to be resolution-independent