platform-specific display code