4 ms·

I think the default theme depends on your OS theme or something like that (could also be the gnome theme, not sure).