/* Device commands use the existing BASIC terminal and graphics styles. */