terminal css now works in firefox