red? kinda annoying ..anyway there is a reason that reboot is not enabled ...it's not an optimal way of restarting the system, there was an explaination somewhere. The best way to reboot the system is in terminal as root just type reboot.