.device-id{font-family:monospace;font-size:.8em}.user-list{max-height:35em}