terminal.common.css preferences.ui