All the workstations are Sun, so it's probably whatever motif theme ships with Solaris...